Logic, Philosophy, and History of the Lambda-Calculus
Subtitle: Theory and Applications
Publisher: Palgrave Macmillan
Published: 2024
Language: eng
Number of pages: 368
ISBN-13: 9783031728501