« earlier | later » Page 1 of 1

Lambda Calculus edit / delete

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) edit / delete

to lambda-calculus pi-calculus research ... on 29 January 2005

« earlier | later » Page 1 of 1

Browser bookmarks: tasty+ | tasty= Log in | Export | Atom

Tags related to lambda-calculus

- lambda-calculus
 
1 + functional
1 + pi-calculus
2 + research
1 + theory