Repository | Directory | Profile

122322

References

Florent Franchette

Bibliography 2

Oracle hypermachines faced with the verification problem

2013

Florent Franchette

in: Computing nature, Dordrecht : Springer

Open Access Link

La thèse de l'hyper-calcul 

2012

Florent Franchette

Philosophia Scientiae 16/3

Open Access