Combinatory Logic
Subtitle: Pure, Applied and Typed
Publisher: Taylor & Francis Group
Published: 2011
Language: eng
Number of pages: 357
ISBN-13: 9780429075285