Type Theory as a Framework for Modelling and Programming

Ionescu, C.; Jansson, P.; Botta, N.; Margaria, T.; Steffen, B.

doi:10.1007/978-3-030-03418-4_8

アイテム詳細

登録内容を編集ファイル形式で保存

一時保存へ追加

タグ情報を表示リリース履歴を表示詳細要約

公開

書籍の一部

Type Theory as a Framework for Modelling and Programming

Authors

Ionescu, C.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Jansson, P.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Botta, N.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Margaria, T.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

Steffen, B.
Potsdam Institute for Climate Impact Research and Cooperation Partners;

URL

There are no locators available

フルテキスト (公開)

There are no public fulltexts stored in PIKpublic

付随資料 (公開)

There is no public supplementary material available

引用

Ionescu, C., Jansson, P., & Botta, N. (2018). Type Theory as a Framework for Modelling and Programming. In Leveraging Applications of Formal Methods, Verification and Validation (pp. 119-133).

引用: https://publications.pik-potsdam.de/pubman/item/item_22780

要旨

要旨はありません