The calculi of lambda-conversion /
Guardado en:
| Autor Principal: | Church, Alonzo. |
|---|---|
| Formato: | Libro |
| Idioma: | English |
| Publicado: |
Princeton :
Princeton University Press,
1941.
|
| Series: | Annals of mathematics studies ;
6 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
-
Lambda calculi : a guide for the perplexed /
por: Hankin, Chris.
Publicado: (1994) -
Typed Lambda Calculi and Applications 8th International Conference,TLCA 2007, Paris, France,June 26-28, 2007. Proceedings /
por: Rocca, Simona Ronchi.
Publicado: (2007) -
Typed Lambda Calculi and Applications 7th International Conference, TLCA 2005, Nara, Japan, April 21-23, 2005. Proceedings /
por: Urzyczyn, Pawe.
Publicado: (2005) -
Lambda calculus with types /
por: Barendregt, H. P.
Publicado: (2013) -
Theory of logical calculi : basic theory of consequence operations /
por: Wójcicki, Ryszard.
Publicado: (1988)
