Top network posts
- 75What is the contribution of lambda calculus to the field of theory of computation?
- 25Applicability of Church-Turing thesis to interactive models of computation
- 24What's the difference between term rewriting and pattern matching?
- 20Books on programming language semantics
- 20P and NP classes explanation through lambda-calculus
- 18(How) can you model broadcasts in the pi-calculus?
- 17Typechecking inside quasi-quotes in Template Haskell
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.