« earlier | later » Page 1 of 1
An Oxford course for beginners to the lambda calculus.
to functional lambda-calculus research theory ... on 20 March 2006
The pi-Calculus in Direct Style - Boudol (ResearchIndex)
to lambda-calculus pi-calculus research ... on 29 January 2005
« earlier | later » Page 1 of 1
| - lambda-calculus | |
| 1 | functional |
| 2 | lambda-calculus |
| 1 | pi-calculus |
| 2 | research |
| 1 | theory |
tasty by Adam Sampson.