Professional software developer, amateur theoretical computer scientist
Member for 10 years, 3 months
5 profile views
Last seen Dec 26 '12 at 19:35
Top network posts
- 31 Is JSON a Regular Language?
- 30 Origins and applications of Theory A vs Theory B?
- 30 What constitutes denotational semantics?
- 20 Why naturals instead of integers?
- 17 Church's Theorem and Gödel's Incompleteness Theorems
- 14 Proof assistant formalizations of Finite Model Theory
- 11 Understanding least-fixed point logic
- View more network posts →