Introduction to combinators and [lambda] calculus / J. Roger Hindley,... Jonathan P. Seldin,..

Date : 1986

Type : Livre / Book

Langue / Language : anglais / English

ISBN : 0-521-26896-6

ISBN : 0-521-31839-4

Logique combinatoire

Lambda-calcul

Classification Dewey : 511/.6

Hindley, James Roger (1939-....) (Auteur / author)

Seldin, Jonathan Paul (Auteur / author)

Collection : London Mathematical Society student texts / managing ed. E.B. Davies / Cambridge : Cambridge University Press , 1986-