14 citations · 34 across the 9 of their papers we have counts for
1 paper · 1 filter
Erik Palmgren
A model of Martin-Löf extensional type theory with universes is formalized in Agda, an interactive proof system based on Martin-Löf intensional type theory. This may be understood,…