Theoretical Computer Science
Ohad Kammar
  • Member for 11 years, 5 months
  • Last seen more than a month ago
Profile Activity
Stats
2,637
reputation
26k
reached
15
answers
6
questions
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.
21
silver badges
27
bronze badges
Top tags
View all tags
52
Score
9
Posts
43
Posts %
37
Score
5
Posts
24
Posts %
32
Score
6
Posts
29
Posts %
30
Score
6
Posts
29
Posts %
21
Score
4
Posts
19
Posts %
20
Score
6
Posts
29
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
47
What constitutes denotational semantics?
Dec 5 '10
33
How did TCS become conference-oriented rather than journal-oriented?
Jul 20 '11
16
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
11
What is a good Category Theory-Domain Theory dictionary?
Nov 19 '10
10
Equivalence of two basic blocks
Aug 29 '11
10
Formal Semantics of Programming Languages
Dec 9 '10
9
Gröbner bases in TCS?
May 12 '11
Top network posts
View all network posts
13
How to sort a glossary by order of appearance?
8
What is a simple axiomatisation of groups using division?
7
Euler's Triangular Number closure properties
5
What is a good survey of solutions/workarounds for 'LaTeX Error: Too many symbol fonts declared.'?

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.