J. Girard, Geometry of interaction II: deadlock-free algorithms, International Conference on Computer Logic, pp.76-93, 1988.

J. Girard, Geometry of interaction I: interpretation of system f, Studies in Logic and the Foundations of Mathematics, vol.127, pp.221-260, 1989.

J. Girard, Towards a geometry of interaction, Contemporary Mathematics, vol.92, issue.6, pp.69-108, 1989.

J. Girard, Geometry of interaction III: accommodating the additives, London Mathematical Society Lecture Note Series, pp.329-389, 1995.

J. Girard, Geometry of interaction IV: the feedback equation, Logic Colloquium, vol.3, pp.76-117, 2006.

J. Girard, 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

J. Girard, Geometry of interaction VI: a blueprint for transcendental syntax, 2013.

J. Girard, Transcendental syntax II: non-deterministic case, 2016.

J. Girard, Transcendental syntax III: equality, 2016.

J. Girard, 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

J. Girard, Transcendental syntax IV: logic without systems, 2020.

A. Martelli and U. Montanari, An efficient unification algorithm, ACM Transactions on Programming Languages and Systems (TOPLAS), vol.4, issue.2, pp.258-282, 1982.

J. Matthew and . Patitz, An introduction to tile-based self-assembly and a survey of recent results, Natural Computing, vol.13, issue.2, pp.195-224, 2014.

R. John-alan, A machine-oriented logic based on the resolution principle, Journal of the ACM, vol.12, issue.1, pp.23-41, 1965.

T. Seiller, Logique dans le facteur hyperfini: géometrie de l'interaction et complexité, 2012.

H. Wang, Proving theorems by pattern recognition II. Bell system technical journal, vol.40, pp.1-41, 1961.

E. Winfree, Algorithmic self-assembly of DNA, 1998.