本本书屋

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 電子書下載

Programming in Martin-Löf's Type Theory

☆☆☆☆☆
簡體網頁||繁體網頁

Programming in Martin-Löf's Type Theory pdf epub mobi 著者簡介

Programming in Martin-Löf's Type Theory 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 電子書下載

Programming in Martin-Löf's Type Theory pdf epub mobi 圖書目錄

下載链接在页面底部

點擊這裡下載

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

發表於2024-11-16

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 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 pdf epub mobi 讀後感

評分☆☆☆☆☆

類型論最初的目的是澄清構造數學，但不是基於一階謂詞邏輯。反過來，謂詞邏輯通過命題和集閤之間的對應被解釋於類型論中。類型是分層次的的，它的語法錶達式類似函數式語言。類型的構造可以依賴其它類型元素，根據依賴的不同可以將類型係統分類，即所謂...

評分☆☆☆☆☆

類型論最初的目的是澄清構造數學，但不是基於一階謂詞邏輯。反過來，謂詞邏輯通過命題和集閤之間的對應被解釋於類型論中。類型是分層次的的，它的語法錶達式類似函數式語言。類型的構造可以依賴其它類型元素，根據依賴的不同可以將類型係統分類，即所謂...

評分☆☆☆☆☆

類型論最初的目的是澄清構造數學，但不是基於一階謂詞邏輯。反過來，謂詞邏輯通過命題和集閤之間的對應被解釋於類型論中。類型是分層次的的，它的語法錶達式類似函數式語言。類型的構造可以依賴其它類型元素，根據依賴的不同可以將類型係統分類，即所謂...

評分☆☆☆☆☆

類型論最初的目的是澄清構造數學，但不是基於一階謂詞邏輯。反過來，謂詞邏輯通過命題和集閤之間的對應被解釋於類型論中。類型是分層次的的，它的語法錶達式類似函數式語言。類型的構造可以依賴其它類型元素，根據依賴的不同可以將類型係統分類，即所謂...

評分☆☆☆☆☆

類型論最初的目的是澄清構造數學，但不是基於一階謂詞邏輯。反過來，謂詞邏輯通過命題和集閤之間的對應被解釋於類型論中。類型是分層次的的，它的語法錶達式類似函數式語言。類型的構造可以依賴其它類型元素，根據依賴的不同可以將類型係統分類，即所謂...

類似圖書點擊查看全場最低價

出版者: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 電子書下載

想要找書就要到本本書屋

onlinetoolsland.com

立刻按 ctrl+D收藏本頁

你會得到大驚喜!!

Programming in Martin-Löf's Type Theory pdf epub mobi 用戶評價

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

評分☆☆☆☆☆

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 電子書下載

分享鏈接

facebook linkedin mastodon messenger pinterest reddit telegram twitter viber vkontakte whatsapp 複製鏈接

Programming in Martin-Löf's Type Theory pdf 下載 Programming in Martin-Löf's Type Theory epub 下載 Programming in Martin-Löf's Type Theory mobi 下載 Programming in Martin-Löf's Type Theory txt 下載

Programming in Martin-Löf's Type Theory bar code 下載

扫码下載

查看全網最低價

Programming in Martin-Löf's Type Theory 2024 pdf epub mobi 電子書下載

相關圖書

本站所有內容均為互聯網搜索引擎提供的公開搜索信息，本站不存儲任何數據與內容，任何內容與數據均與本站無關，如有需要請聯繫相關搜索引擎包括但不限於百度，google,bing,sogou 等

友情鏈接

中國國家圖書館

國立台灣圖書館

美國國會圖書館

開放圖書館 openlibrary.org

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋版權所有