activity
20202023
most citedDialectica Principles via Gödel Doctrines

3 citations · 4 across the 3 of their papers we have counts for

collaborators
Showing math.LOShow all

1 paper · 1 filter

math.LO2023

Relating homotopy equivalences to conservativity in dependent type theories with computation axioms

Matteo Spadetto

We prove a conservativity result for extensional type theories over propositional ones, i.e. dependent type theories with propositional computation rules, or computation axioms, us…