Skip to content
VuFind
Language
English
Español
All Fields
Title
Author
Subject
Call Number
ISBN/ISSN
Tag
Find
Advanced
Search
An introduction to lamba calcu...
Description
Cite this
Email this
Print
Export Record
Export to RefWorks
Export to EndNoteWeb
Export to EndNote
Export to MARC
Export to RDF
Export to BibTeX
Export to RIS
An introduction to lamba calculi for computer scientists /
Bibliographic Details
Main Author:
Hankin, Chris, 1954-
Format:
Book
Language:
English
Published:
Strand, Londo, Uk :
King's College Publications.
Edition:
2nd edition
Subjects:
LENGUAJES DE PROGRAMACIÓN
FUNCIONES (MATEMÁTICAS)
CÁLCULO
MATEMÁTICA APLICADA
LÓGICA
Holdings
Description
Similar Items
Staff View
Description
Physical Description:
ix, 164 páginas.
ISBN:
0954300653
Similar Items
An introduction to Lambda Calculi for computer scientists. Volume 2 /
by: Hankin, Chris
Published: (2004)
The Calculi of lambda-conversion
by: Church, Alonzo n. 1903, et al.
Published: (1941)
Applied logic for computer scientists : computational deduction and formal proofs /
by: Ayala-Rincón, Mauricio
Published: (2017)
Matemáticas aplicadas a la administración y los negocios. /
Published: (2014)
Matemática discreta y lógica /
by: Grassmann, W. K.
Published: (1998)
×
Loading...