Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 电子书

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

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 电子书著者简介

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

下载链接在页面底部

点击这里下载

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

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!

发表于2024-12-23

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 电子书

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

Type Theory and Functional Programming 2024 pdf epub mobi 电子书

Programming in Martin-Löf's Type Theory 电子书读后感

评分☆☆☆☆☆

类型论最初的目的是澄清构造数学，但不是基于一阶谓词逻辑。反过来，谓词逻辑通过命题和集合之间的对应被解释于类型论中。类型是分层次的的，它的语法表达式类似函数式语言。类型的构造可以依赖其它类型元素，根据依赖的不同可以将类型系统分类，即所谓...

评分☆☆☆☆☆

类似图书点击查看全场最低价

出版者:Oxford University Press, USA

作者:Bengt Nordstrom

出品人:

页数:232

译者:

出版时间:1990-7-19

价格:USD 55.00

装帧:Hardcover

isbn号码:9780198538141

丛书系列:

图书标签: type-theory programming 编程语言理论编程类型论 Type pl ctt

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 电子书图书描述

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 2024 pdf epub mobi 电子书

想要找书就要到本本书屋

onlinetoolsland.com

立刻按 ctrl+D收藏本页

你会得到大惊喜!!