3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
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…