Lambda-calculus and combinators: an introduction

This book gives an account of combinatory logic and lambda-calculus models.

Detalles Bibliográficos
Autores principales: Hindley, J Roger, Seldin, Jonathan P
Lenguaje:eng
Publicado: Cambridge University Press 2008
Materias:
Other Subjects
Acceso en línea:http://cds.cern.ch/record/1992147

Ejemplares similares

Ejemplares similares