Calculi of Lambda Conversion
Publisher: Princeton Univ Pr
Published: June 1941
Format: Paperback
ISBN-13: 9780527027223