References
Florent Franchette
Oracle hypermachines faced with the verification problem
2013
in: Computing nature, Dordrecht : Springer
La thèse de l'hyper-calcul : enjeux et problèmes philosophiques
2012
Philosophia Scientiae 16/3
2013
in: Computing nature, Dordrecht : Springer
2012
Philosophia Scientiae 16/3