Theoretical Computer Science
Meta user
Network profile
1,957
reputation
18
24

Ohad Kammar

University research fellow in Programming Language Semantics at the University of Edinburgh.

15
answers
6
questions
~22k
people reached
  • Scotland, UK
  • denotational.co.uk
  • Member for 8 years, 11 months
  • 443 profile views
  • Last seen Jul 11 at 2:25

Communities (9)

Top network posts

Top tags (32)

Score 52
Posts 9
Posts % 43
Score 37
Posts 5
Score 32
Posts 6
Score 30
Posts 6
Score 20
Posts 6
Score 20
Posts 4
View all tags →

Top posts (21) All Questions Answers | Votes Newest

44 What constitutes denotational semantics? Dec 5 '10
32 How did TCS become conference-oriented rather than journal-oriented? Jul 20 '11
15 What is the origin of logical relations? Jun 30 '11
13 What are the equational laws for zero types? Jul 1 '11
12 How can I call functions that are not “first-class functions”? Aug 30 '11
12 Using lambda calculus to derive time complexity? Aug 21 '10
10 Formal Semantics of Programming Languages Dec 9 '10
10 What is a good Category Theory-Domain Theory dictionary? Nov 19 '10
10 Equivalence of two basic blocks Aug 29 '11
9 Gröbner bases in TCS? May 12 '11
View all questions and answers →

Badges (42)

Gold

—

Silver

18

Rarest

Bronze

24

Rarest

View all badges →