Geometry of interaction II: deadlock-free algorithms, International Conference on Computer Logic, pp.76-93, 1988. ,
Geometry of interaction I: interpretation of system f, Studies in Logic and the Foundations of Mathematics, vol.127, pp.221-260, 1989. ,
Towards a geometry of interaction, Contemporary Mathematics, vol.92, issue.6, pp.69-108, 1989. ,
Geometry of interaction III: accommodating the additives, London Mathematical Society Lecture Note Series, pp.329-389, 1995. ,
Geometry of interaction IV: the feedback equation, Logic Colloquium, vol.3, pp.76-117, 2006. ,
Geometry of interaction V: logic in the hyperfinite factor. Theoretical Computer Science, vol.412, pp.1860-1883, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01322171
Geometry of interaction VI: a blueprint for transcendental syntax, 2013. ,
Transcendental syntax II: non-deterministic case, 2016. ,
Transcendental syntax III: equality, 2016. ,
Transcendental syntax I: deterministic case, Mathematical Structures in Computer Science, vol.27, issue.5, pp.827-849, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01322327
Transcendental syntax IV: logic without systems, 2020. ,
An efficient unification algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.4, issue.2, pp.258-282, 1982. ,
An introduction to tile-based self-assembly and a survey of recent results, Natural Computing, vol.13, issue.2, pp.195-224, 2014. ,
A machine-oriented logic based on the resolution principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965. ,
Logique dans le facteur hyperfini: géometrie de l'interaction et complexité, 2012. ,
Proving theorems by pattern recognition II. Bell system technical journal, vol.40, pp.1-41, 1961. ,
Algorithmic self-assembly of DNA, 1998. ,