Combinators, λ-Terms and Proof Theory
Publisher: Springer
Published: Oct 12, 2011
Format: paperback
Number of pages: 187
ISBN-13: 9789401029155
Notes: Source title: Combinators, λ-Terms and Proof Theory (Synthese Library (42))