34 citations · 50 across the 9 of their papers we have counts for
1 paper · 2 filters
Martin Escardo
The set-theoretical model of Goedel's system T is not fully abstract. We also briefly discuss fully abstract models of system T.