Theoretical Computer Science
Meta user
Network profile
2,577
reputation
19
25

Ohad Kammar

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

15
answers
6
questions
~23k
people reached
  • Scotland, UK
  • denotational.co.uk
  • Member for 9 years, 5 months
  • 451 profile views
  • Last seen Jul 11 '19 at 2:25

Communities (10)

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

45 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 (44)

Gold

—

Silver

19

Rarest

Bronze

25

Rarest

View all badges →