Introduction to combinators and [lambda]-calculus

Saved in:

Bibliographic Details
Main Author:	Hindley, J. Roger
Other Authors:	Seldin, J. P
Format:	Book
Language:	English
Published:	Cambridge [Cambridgeshire] New York Cambridge University Press 1986
Series:	London Mathematical Society student texts 1
Subjects:	Lambda calculus Combinatory logic
Online Access:	Click Here to View Status and Holdings.
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet