Network profile

Ohad Kammar

Reputation

2,607

2.6k
2.5k
2.4k

2018
2019
2020
2021

Top tag

pl.programming-languages

Next privilege

3,000 Rep.

Cast close & reopen votes

Badges

20

27

Newest

Quorum

Next badge

0/1

Impact

0 posts edited

1 helpful flag

171 votes cast

6 Questions

Votes Activity Newest Views

4

16

votes

2

answers

904

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,616

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 13.2k

26

46

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

264

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,616

2

13

votes

2

answers

480

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 30.3k

2

11

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 25k

Theoretical Computer Science Stack Exchange works best with JavaScript enabled