Multimodal Dependent Type Theory

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Gratzer, Daniel, Kavvos, G.A, Nuyts, Andreas, Birkedal, Lars
Format:	Tagungsbericht
Sprache:	eng
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Beschreibung
Zusammenfassung:
ISSN:	1043-6871