Results from the 2022 Developer Survey are now available
Theoretical Computer Science
user avatar
user avatar
user avatar
Ohad Kammar
  • Member for 11 years, 10 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
Score Newest
question
47
What constitutes denotational semantics?
Dec 5, 2010
question
33
How did TCS become conference-oriented rather than journal-oriented?
Jul 20, 2011
question
16
What is the origin of logical relations?
Jun 30, 2011
question
13
What are the equational laws for zero types?
Jul 1, 2011
answer
12
How can I call functions that are not "first-class functions"?
Aug 30, 2011
answer
12
Using lambda calculus to derive time complexity?
Aug 21, 2010
question
11
What is a good Category Theory-Domain Theory dictionary?
Nov 19, 2010
answer
10
Equivalence of two basic blocks
Aug 29, 2011
answer
10
Formal Semantics of Programming Languages
Dec 9, 2010
answer
9
Gröbner bases in TCS?
May 12, 2011
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.