Lambda-Calculus, Types and Models
Contributors: Rene Cori (Translator)
Publisher: Ellis Horwood Ltd
Published: August 1993
Language: eng
Format: Hardcover
Number of pages: 192
ISBN-13: 9780130624079
Subjects: Mathematical logic; Mathematical theory of computation; Logic; Calculus; Mathematics; Lambda calculus; Computer Books: General
Notes: Ellis Horwood Series in Computers and Their Applications