Lambda calculus : its syntax and semantics /

41

Bibliographic Details
Main Author: 366514 Barenregt, H. P.
Format:
Published: Amsterdam : North Holland, 1984
Subjects: