Network profile

Ohad Kammar

Reputation

2,577

2.6k
2.5k
2.3k

2017
2018
2019
2020

Top tag

pl.programming-languages

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

19

26

Newest

Popular Question

Next badge

0/1

Impact

0 posts edited

1 helpful flag

171 votes cast

6 Questions

Votes Activity Newest Views

4

15

votes

2

answers

879

views

What is the origin of logical relations?

reference-request pl.programming-languages denotational-semantics logical-relations

Feb 6 '14 at 16:38 Uday Reddy 4,526

4

32

votes

2

answers

1k

views

How did TCS become conference-oriented rather than journal-oriented?

soft-question conferences

Jan 24 '13 at 13:53 Scott Aaronson 13k

26

45

votes

7

answers

6k

views

What constitutes denotational semantics?

pl.programming-languages big-picture semantics denotational-semantics

Dec 17 '12 at 13:08 Community♦ 1

2

8

votes

2

answers

251

views

Where can I find an elementary small-step structural operational semantics for closures?

reference-request pl.programming-languages semantics compilers

Mar 7 '12 at 16:30 Uday Reddy 4,526

2

13

votes

2

answers

466

views

What are the equational laws for zero types?

pl.programming-languages type-theory lambda-calculus semantics

Jul 28 '11 at 7:31 Neel Krishnaswami 29.7k

2

10

votes

3

answers

1k

views

What is a good Category Theory-Domain Theory dictionary?

ct.category-theory semantics denotational-semantics domain-theory

Nov 19 '10 at 21:33 Andrej Bauer 23.7k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled