34 citations · 50 across the 9 of their papers we have counts for
1 paper · 2 filters
Martin H. Escardo, Bruno da Rocha Paiva, Vincent Rahli +1
The effectful forcing technique allows one to show that the denotation of a closed System T term of type (ι→ι)→ι in the set-theoretical model is a continuous function $(\m…