Conservativity results for type theories
Martedì 15 Aprile 2025
14:00
Aula Fermi, Palazzo della Carovana
Relatore
-
Michele ContenteCzech Academy of Sciences
Michele Contente, Czech Academy of Sciences
Conservativity results for type theories
MUR_PRIN22_PIAZZA - Proof and understanding in mathematics (PUMa). Purity of methods, simplicity, and explanation in mathematical reasoning. - 2022TYNY32 – CUP: E53D23009000006