A. Asperti, V. Danos, C. Laneve, and &. Laurent-regnier, Paths in the lambda-calculus, LICS'94. Proceedings., Symposium on, IEEE, pp.426-43610, 1994.

A. Asperti and &. Laneve, Paths, computations and labels in the ??-calculus, Theoretical Computer Science, vol.142, issue.2, pp.277-29710, 1995.
DOI : 10.1016/0304-3975(94)00279-7

U. Dal and L. , Context semantics, linear logic, and computational complexity, ACM Transactions on Computational Logic (TOCL), vol.10, issue.25, pp.1-25, 2009.

V. Danos and &. Ehrhard, Probabilistic coherence spaces as a model of higher-order probabilistic computation, Information and Computation, vol.209, issue.6, pp.966-991, 2011.
DOI : 10.1016/j.ic.2011.02.001

URL : https://hal.archives-ouvertes.fr/hal-00640435

V. Danos and &. Laurent-regnier, Proof-nets and the Hilbert space, Advances in Linear Logic, pp.307-328, 1995.
DOI : 10.1017/CBO9780511629150.016

T. Ehrhard and &. Laurent-regnier, The differential lambda-calculus, Theoretical Computer Science, vol.309, issue.1-3, pp.1-4110, 2003.
DOI : 10.1016/S0304-3975(03)00392-X

URL : https://hal.archives-ouvertes.fr/hal-00150572

T. Ehrhard and &. Laurent-regnier, B??hm Trees, Krivine???s Machine and the Taylor Expansion of Lambda-Terms, Logical Approaches to Computational Barriers, pp.186-19710, 2006.
DOI : 10.1093/logcom/10.3.411

F. Marc-de, The geometry of interaction of differential interaction nets In: Logic in Computer Science, LICS'08. 23rd Annual IEEE Symposium on, IEEE, pp.465-47510, 2008.

J. Girard, Geometry of interaction I: Interpretation of System F. Studies in Logic and the Foundations of, Mathematics, vol.127, issue.08, pp.221-26010, 1989.

G. Gonthier, &. Mart-`-mart-`-in-abadi, and . Lévy, The geometry of optimal lambda reduction, Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '92, pp.15-2610, 1992.
DOI : 10.1145/143165.143172

I. Mackie, The geometry of interaction machine, Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages , POPL '95, pp.198-20810, 1995.
DOI : 10.1145/199448.199483

M. Pagani, P. Selinger, and &. Benoit-valiron, Applying quantitative semantics to higher-order quantum computing, Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, POPL '14, 2014.
DOI : 10.1145/2535838.2535879

URL : http://arxiv.org/abs/1311.2290

J. Sousa and P. , Parallel Implementation Models for the ??-Calculus Using the Geometry of Interaction (Extended Abstract), Typed Lambda Calculi and Applications, pp.385-399, 2001.
DOI : 10.1007/3-540-45413-6_30