82 citations · 120 across the 21 of their papers we have counts for
1 paper · 1 filter
Maria Emilia Maietti, Samuele Maschio, Michael Rathjen
We present a Kleene realizability semantics for the intensional level of the Minimalist Foundation, for short mtt, extended with inductively generated formal topologies, Church's t…