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

Datensatz

DATENSATZ AKTIONENEXPORT

Zur Ablage hinzufügen

Lokale TagsFreigabegeschichteDetailsÜbersicht

Freigegeben

Buchkapitel

Type Theory as a Framework for Modelling and Programming

Urheber*innen

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;

Externe Ressourcen

Es sind keine externen Ressourcen hinterlegt

Volltexte (frei zugänglich)

Es sind keine frei zugänglichen Volltexte in PIKpublic verfügbar

Ergänzendes Material (frei zugänglich)

Es sind keine frei zugänglichen Ergänzenden Materialien verfügbar

Zitation

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

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

Zusammenfassung

Es ist keine Zusammenfassung verfügbar