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
Descripción
Sumario:This book gives an account of combinatory logic and lambda-calculus models.

Ejemplares similares