scientific article; zbMATH DE number 7761010

DOI10.4230/lipics.types.2017.7zbMath1528.03111arXiv1708.01924MaRDI QIDQ6060678

Erik Palmgren

Publication date: 3 November 2023

Full work available at URL: https://arxiv.org/abs/1708.01924

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

category theorytype theoryformalizationsetoids

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Foundations, relations to logic and deductive systems (18A15) Type theory (03B38)

Related Items (1)

From type theory to setoids and back

Cites Work

• Setoids in type theory
• Univalent categories and the Rezk completion

This page was built for publication: