Programming in Martin-Löf's Type Theory pdf epub mobi txt 电子书下载 2025

简体网页||繁体网页

☆☆☆☆☆

出版者:Oxford University Press, USA

作者:Bengt Nordstrom

出品人:

页数:232

译者:

出版时间:1990-7-19

价格:USD 55.00

装帧:Hardcover

isbn号码:9780198538141

丛书系列:

图书标签:

type-theory
programming
编程语言理论
编程
类型论
Type
pl
ctt

下载链接在页面底部

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 复制链接

想要找书就要到图书目录大全

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

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.