Theoretical Computer Science
Ohad Kammar's user avatar
Ohad Kammar's user avatar
Ohad Kammar's user avatar
Ohad Kammar
  • Member for 13 years, 3 months
  • Last seen more than 4 years ago
Profile Activity
Stats
2,667
reputation
253
reached
0
answers
1
question
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
5
bronze badges
Top tags
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
0
Score
1
Posts
100
Posts %
Top posts
All Questions Answers
Score Newest
question
1
Questions falling under Interest tags are too light...
Dec 5, 2010
Top network posts
View all network posts
47
What constitutes denotational semantics?
34
How did TCS become conference-oriented rather than journal-oriented?
17
What is the origin of logical relations?
13
What are the equational laws for zero types?
13
How to sort a glossary by order of appearance?

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.