Mathematics
and Interactions
-
Videos linked to lambda-calculusMore +
![La correspondance de Curry-Howard donne de nouveaux modèles de ZF 1/2]()
01:35:58published on May 19, 2014La correspondance de Curry-Howard donne de nouveaux modèles de ZF 1/2
By Jean Louis Krivine
![Curry-Howard correspondence gives new models of ZF 2/2]()
01:44:15published on May 19, 2014Curry-Howard correspondence gives new models of ZF 2/2
By Jean Louis Krivine
