CURRENTLY SOLD OUT
About this product
Product Identifiers
PublisherOxford University Press, Incorporated
ISBN-100198538146
ISBN-139780198538141
eBay Product ID (ePID)1382076
Product Key Features
Number of Pages232 Pages
LanguageEnglish
Publication NameProgramming in Martin-Löf's Type Theory : an Introduction
Publication Year1990
SubjectProgramming / General, Set Theory
TypeTextbook
Subject AreaMathematics, Computers
AuthorKent Petersson, Jan M. Smith, Bengt Nordstrom
SeriesInternational Series of Monographs on Computer Science Ser.
FormatHardcover
Dimensions
Item Height0.7 in
Item Weight19.2 Oz
Item Length9.5 in
Item Width6.4 in
Additional Product Features
Intended AudienceScholarly & Professional
LCCN89-072178
Dewey Edition20
Series Volume Number7
IllustratedYes
Dewey Decimal005.1
SynopsisIn recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. 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 correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.", 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 correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples., In recent years, several formalisms for program construction have appeared. One such formalism is the type theory developed by Per Martin-Lof. 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 correct program from a specification as well as to verify that a given program has a certain property. This book contains a thorough introduction to type theory, with information on polymorphic sets, subsets, monomorphic sets, and a full set of helpful examples.
LC Classification NumberQA76.6.N66 1990
