Martin Hofmann’s contributions to type theory: Groupoids and univalence

Autor:	Thorsten Altenkirch
Rok vydání:	2021
Předmět:	Pure mathematics Mathematics (miscellaneous) Type theory Computer Science Applications Mathematics
Zdroj:	Mathematical Structures in Computer Science. 31:953-957
ISSN:	1469-8072 0960-1295
DOI:	10.1017/s0960129520000316
Popis:	My goal is to give an accessible introduction to Martin’s work on the groupoid model and how it is related to the recent notion of univalence in Homotopy Type Theory while sharing some memories of Martin.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9eda393ab682f93d0444b7e766330cfc https://doi.org/10.1017/s0960129520000316 Zobrazit plný text záznamu