25 citations · 56 across the 6 of their papers we have counts for
1 paper · 1 filter
Guillaume Allais, Pierre Boutillier, Conor McBride
The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, fr…