Lambda calculi : a guide for the perplexed /
Guardado en:
| Autor Principal: | Hankin, Chris. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Oxford [England] : New York :
Clarendon Press ; Oxford University Press,
1994.
|
| Edición: | 1st ed. |
| Series: | Graduate texts in computer science ;
3 |
| Materias: | |
| Acceso en línea: | Publisher description Table of contents |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Lambda calculus with types /
por: Barendregt, H. P.
Publicado: (2013) - 1st ed. -
Lectures on the Curry-Howard isomorphism /
por: Sørensen, Morten Heine.
Publicado: (2006) - 1st ed. -
The calculi of lambda-conversion /
por: Church, Alonzo.
Publicado: (1941) - 1st ed. -
Language in action : categories, lambdas, and dynamic logic /
por: Benthem, J. F. A. K. van, 1949-
Publicado: (1995) - 1st ed. -
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
por: Rocca, Simona Ronchi.
Publicado: (2007) - 1st ed.
