Arithmetical theorems, call-by-value, objects (transparents (0)

by J-L Krivine
Results 1 - 1 of 1

unknown title

by unknown authors , 2005
"... Le contenu computationnel des preuves: No-counterexample interpretation et spécification des théorèmes de l’arithmétique mémoire sous la direction de Jean-Louis Krivine ..."
Abstract - Add to MetaCart
Le contenu computationnel des preuves: No-counterexample interpretation et spécification des théorèmes de l’arithmétique mémoire sous la direction de Jean-Louis Krivine