Calculi of Lambda Conversion. (AM-6), Volume 6
Publisher: Princeton University Press
Published: 2016
Language: eng
Number of pages: 77
ISBN-13: 9781400881932
Subjects: Logic, symbolic and mathematical; Recursive functions