4 citations · 11 across the 14 of their papers we have counts for
1 paper · 1 filter
Maria Emilia Maietti, Samuele Maschio
We build a Kleene realizability semantics for the two-level Minimalist Foundation MF, ideated by Maietti and Sambin in 2005 and completed by Maietti in 2009. Thanks to this semanti…