Samuele Maschio

November 6, 2015
  1. October 2015
Realizability for the Minimalist Foundation

After introducing the Minimalist Foundation with its motivations and peculiarities and discussing the importance of realizability models in constructive mathematics, we will present a categorical realizability model for the Minimalist Foundation which was recently introduced by Maietti and Maschio.