The genesis of the groupoid model

DOI10.1017/S0960129520000286MaRDI QIDQ5084310

Thomas Streicher

Publication date: 24 June 2022

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

zbMATH Keywords

homotopytype theorycategorical semantics

Mathematics Subject Classification ID

Type theory (03B38)

Cites Work

• Locally cartesian closed categories and type theory
• Title not available (Why is that?)

Related Items (1)

Homotopy theoretic models of identity types

This page was built for publication: The genesis of the groupoid model

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5084310)