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

Item

ITEM ACTIONSEXPORT

Add to Basket

Local TagsRelease HistoryDetailsSummary

Released

Book Chapter

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;

External Ressource

No external resources are shared

Fulltext (public)

There are no public fulltexts stored in PIKpublic

Supplementary Material (public)

There is no public supplementary material available

Citation

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, (Lecture Notes in Computer Science; 11244), 119-133.
https://doi.org/10.1007/978-3-030-03418-4_8

Cite as: https://publications.pik-potsdam.de/pubman/item/item_22780

Abstract

There is no abstract available