1 citations · 1 across the 1 of their papers we have counts for
1 paper
Nicolas Guenot, Daniel Gustafsson
Proof assistants and programming languages based on type theories usually come in two flavours: one is based on the standard natural deduction presentation of type theory and invol…