Skip to main content
PBS logo
 
 

Search - Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)

Programming in Martin-Löf's Type Theory: An Introduction (International Series of Monographs on Computer Science)
Programming in MartinLf's Type Theory An Introduction - International Series of Monographs on Computer Science
Author: Bengt Nordstrom, Kent Petersson, Jan M. Smith
In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Löf. Well suited as a theory for program construction, it makes possible the expression of both specifications and programs within the same formalism. Furthermore, the proof rules can be used to derive a cor...  more »
ISBN-13: 9780198538141
ISBN-10: 0198538146
Publication Date: 7/19/1990
Pages: 232
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.