Lectures on the Curry-Howard Isomorphism

Publisher: Elsevier Science Limited

Type: Physical Book

Language: English

Pages: 442

Information: 1

Release Date: 2006-01-01

ISBN 10: 0444520775

ISBN 13: 9780444520777

Readers: 1

Country: United States of America