An introduction to lamba calculi for computer scientists /
Autor principal: | Hankin, Chris, 1954- |
---|---|
Formato: | Libro |
Lenguaje: | English |
Publicado: |
Strand, Londo, Uk :
King's College Publications.
|
Edición: | 2nd edition |
Materias: |
Ejemplares similares
-
An introduction to Lambda Calculi for computer scientists. Volume 2 /
por: Hankin, Chris
Publicado: (2004) -
The Calculi of lambda-conversion
por: Church, Alonzo n. 1903, et al.
Publicado: (1941) -
Applied logic for computer scientists : computational deduction and formal proofs /
por: Ayala-Rincón, Mauricio
Publicado: (2017) -
Matemáticas aplicadas a la administración y los negocios. /
Publicado: (2014) -
Matemática discreta y lógica /
por: Grassmann, W. K.
Publicado: (1998)