-
Logic in the Hyperfinite Factor: Geometry of Interaction and Complexity
This work is a study of the geometry of interaction in the hyperfinite factor introduced by Jean-Yves Girard, and of its relations with ancient constructions. We start... -
Ramified Recurrence and Computational Complexity IV : Predicative Functionals...
to appear. Article dans revue scientifique avec comité de lecture.
