Skip to main content
PBS logo
 
 

Search - Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)

Twenty-Five Years of Constructive Type Theory: Proceedings of a Congress held in Venice, October 1995 (Oxford Logic Guides)
TwentyFive Years of Constructive Type Theory Proceedings of a Congress held in Venice October 1995 - Oxford Logic Guides
Author: Giovanni Sambin, Jan M. Smith
Per Martin-Lof's work on constructive type theory has had a tremendous impact on logic and mathematics, as well as important applications in computer science and linguistics. This volume celebrates the birth of the subject and provides an invaluable record of current activity. It includes contributions from N. G. de Bruijn, William Tait, and Per...  more »
ISBN-13: 9780198501275
ISBN-10: 0198501277
Publication Date: 12/10/1998
Pages: 296
Rating:
  ?
0 stars, based on 0 rating
Publisher: Oxford University Press, USA
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.