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

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

« earlier | later » Page 1 of 1

- lambda-calculus | |

1 | + functional |

1 | + pi-calculus |

2 | + research |

1 | + theory |

tasty by Adam Sampson.