Lambda calculus with types

Detalles Bibliográficos
Autores principales: Barendregt, Henk, Dekkers, Wil, Statman, Richard
Lenguaje:eng
Publicado: Cambridge University Press 2013
Materias:
Mathematical Physics and Mathematics
Acceso en línea:http://cds.cern.ch/record/2634652

Ejemplares similares

Ejemplares similares