The lambda calculus : its syntax and semantics / Henk P. Barendregt.

Saved in:
Bibliographic Details
Main Author: Barendregt, H. P. (Hendrik Pieter)
Format: Book
Language:English
Published: London : College Publications, c2012.
Series:Studies in logic ; v. 40.
Subjects:
Tags: Add Tag
No Tags, Be the first to tag this record!