Stack semantics of type theory

Thierry Coquand, Bassel Mannaa, Fabian Ruch

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review

Fingerprint

Dive into the research topics of 'Stack semantics of type theory'. Together they form a unique fingerprint.

Keyphrases

Mathematics