Top Network Posts
- 77What is the contribution of lambda calculus to the field of theory of computation?
- 31Applicability of Church-Turing thesis to interactive models of computation
- 25What's the difference between term rewriting and pattern matching?
- 24Books on programming language semantics
- 22Why was there a need for Martin-Löf to create intuitionistic type theory?
- 21P and NP classes explanation through lambda-calculus
- 19Why is Proof Checker required in Proof Carrying Code
- View more network posts →
Keeping a low profile.
This user hasn't posted... yet.