Oracle hypermachines faced with the verification problem

2013

Florent Franchette

in: Computing nature, Berlin,

La thèse de l'hyper-calcul 

enjeux et problèmes philosophiques

2012

Florent Franchette

Philosophia Scientiae 16 (3)