Lectures on the Curry-Howard Isomorphism, Volume 149 (Studies in Logic and the Foundations of Mathematics)
Publisher: Elsevier Science
Published: September 14, 2006
Language: eng
Number of pages: 456
ISBN-13: 9780444520777