Dialectica models of type theory

DOI10.1145/3209108.3209207zbMath1453.03004arXiv2105.00283OpenAlexW2799148948MaRDI QIDQ5145350

Tamara von Glehn, Sean Moss

Publication date: 20 January 2021

Published in: Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Type theory (03B38)

Related Items (4)

Dialectica logical principles ⋮ Dialectica principles via Gödel doctrines ⋮ Identity types and weak factorization systems in Cauchy complete categories ⋮ CHAD for expressive total languages

This page was built for publication: Dialectica models of type theory