85 citations · 103 across the 13 of their papers we have counts for
1 paper · 2 filters
Thierry Coquand, Arnaud Spiwack
Ulrich Berger presented a powerful proof of strong normalisation using domains, in particular it simplifies significantly Tait's proof of strong normalisation of Spector's bar recu…