Constructing unprejudiced extensional type theories with choices via modalities

From MaRDI portal

Publication:6544102

Jump to:navigation, search

DOI10.4230/lipics.fscd.2022.10zbMath1541.03033MaRDI QIDQ6544102

Liron Cohen, Vincent Rahli

Publication date: 27 May 2024

zbMATH Keywords

theorem proving realizability constructive type theory classical logic intuitionism choice sequences references extensional type theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metamathematics of constructive systems (03F50) Type theory (03B38)

This page was built for publication: Constructing unprejudiced extensional type theories with choices via modalities

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6544102&oldid=40064782"