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

☆☆☆☆☆
简体网页||繁体网页

Bengt Nordstrom 作者

Oxford University Press, USA

译者

1990-7-19 出版日期

232 页数

USD 55.00 价格

Hardcover

丛书系列

9780198538141 图书编码

Programming in Martin-Löf's Type Theory 在线电子书图书标签: type-theory programming 编程语言理论编程类型论 Type pl ctt

喜欢 Programming in Martin-Löf's Type Theory 在线电子书的读者还喜欢

Type Theory and Functional Programming 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载

下载链接在页面底部

点击这里下载

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-10-02

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

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

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

Programming in Martin-Löf's Type Theory 在线电子书用户评价

评分☆☆☆☆☆

Programming in Martin-Löf's Type Theory 在线电子书著者简介

Programming in Martin-Löf's Type Theory 在线电子书图书目录

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

Programming in Martin-Löf's Type Theory 在线电子书图书描述

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.

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

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

book.wenda123.org

立刻按 ctrl+D收藏本页

你会得到大惊喜!!