Preface to the MSCS Issue 31.1 (2021) Homotopy Type Theory and Univalent Foundations – Part II

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mathematical structures in computer science 2021-04, Vol.31 (4), p.361-362
Hauptverfasser:	Ahrens, Benedikt, Huber, Simon, Mörtberg, Anders
Format:	Artikel
Sprache:	eng
Schlagworte:	Editorial Preface
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!