No CrossRef data available.
Article contents
Martin Hofmann’s contributions to type theory: Groupoids and univalence
Published online by Cambridge University Press: 28 June 2021
Abstract
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.
Keywords
- Type
- Paper
- Information
- Mathematical Structures in Computer Science , Volume 31 , Special Issue 9: In Homage to Martin Hofmann , October 2021 , pp. 953 - 957
- Copyright
- © The Author(s), 2021. Published by Cambridge University Press