@inproceedings(AspertiDanosLaneveRegnier:1994,
 author       = "Andrea Asperti and Vincent Danos and Cosimo Laneve and Laurent Regnier",
 year         = "1994",
 title        = "{Paths in the lambda-calculus}",
 booktitle    = "{Logic in Computer Science, 1994. LICS'94. Proceedings., Symposium on}",
 organization = "IEEE",
 pages        = "426--436",
 doi          = "10.1109/LICS.1994.316048",
)
@article(AspertiLaneve:1995:TCS,
 author       = "Andrea Asperti and Cosimo Laneve",
 year         = "1995",
 title        = "{Paths, computations and labels in the lambda-calculus}",
 journal      = "Theoretical Computer Science",
 volume       = "142",
 number       = "2",
 pages        = "277--297",
 doi          = "10.1016/0304-3975(94)00279-7",
)
@article(DalLago:2009,
 author       = "Ugo {Dal Lago}",
 year         = "2009",
 title        = "{Context semantics, linear logic, and computational complexity}",
 journal      = "{ACM Transactions on Computational Logic (TOCL)}",
 volume       = "10",
 number       = "4",
 pages        = "{25:1--25:32}",
 doi          = "10.1145/1555746.1555749",
)
@article(DanosEhrhard:2011,
 author       = "Vincent Danos and Thomas Ehrhard",
 year         = "2011",
 title        = "{Probabilistic coherence spaces as a model of higher-order probabilistic computation}",
 journal      = "Information and Computation",
 volume       = "209",
 number       = "6",
 pages        = "966--991",
 doi          = "10.1016/j.ic.2011.02.001",
)
@incollection(DanosRegnier:1995,
 author       = "Vincent Danos and Laurent Regnier",
 year         = "1995",
 title        = "{Proof-nets and the Hilbert space}",
 editor       = "Jean-Yves Girard and Yves Lafont and Laurent Regnier",
 booktitle    = "{Advances in Linear Logic}",
 publisher    = "Cambridge University Press",
 pages        = "307--328",
 doi          = "10.1017/CBO9780511629150.016",
)
@article(EhrhardRegnier:2003,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2003",
 title        = "{The differential lambda-calculus}",
 journal      = "Theoretical Computer Science",
 volume       = "309",
 number       = "1",
 pages        = "1--41",
 doi          = "10.1016/S0304-3975(03)00392-X",
)
@incollection(EhrhardRegnier:2006,
 author       = "Thomas Ehrhard and Laurent Regnier",
 year         = "2006",
 title        = "{B{\"o}hm Trees, Krivine{'}s Machine and the Taylor Expansion of Lambda-Terms}",
 editor       = "Arnold Beckmann and Ulrich Berger and Benedikt L{\"o}we and JohnV. Tucker",
 booktitle    = "{Logical Approaches to Computational Barriers}",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "3988",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "186--197",
 doi          = "{10.1007/11780342\_20}",
)
@inproceedings(DeFalco:2008,
 author       = "Marc de Falco",
 year         = "2008",
 title        = "{The geometry of interaction of differential interaction nets}",
 booktitle    = "{Logic in Computer Science, 2008. LICS'08. 23rd Annual IEEE Symposium on}",
 organization = "IEEE",
 pages        = "465--475",
 doi          = "10.1109/LICS.2008.23",
)
@article(Girard:1989,
 author       = "Jean-Yves Girard",
 year         = "1989",
 title        = "{Geometry of interaction I: Interpretation of System F}",
 journal      = "Studies in Logic and the Foundations of Mathematics",
 volume       = "127",
 pages        = "221--260",
 doi          = "10.1016/S0049-237X(08)70271-4",
)
@inproceedings(GonthierAbadiLevy:1992:optimal,
 author       = "Georges Gonthier and Mart{\`i}n Abadi and Jean-Jacques L{\'e}vy",
 year         = "1992",
 title        = "{The geometry of optimal lambda reduction}",
 booktitle    = "{Proceedings of the 19th ACM SIGPLAN SIGACT symposium on Principles of programming languages}",
 series       = "{POPL '92}",
 organization = "ACM",
 pages        = "15--26",
 doi          = "10.1145/143165.143172",
)
@inproceedings(Mackie:1995,
 author       = "Ian Mackie",
 year         = "1995",
 title        = "{The geometry of interaction machine}",
 booktitle    = "{POPL 95 Proceedings of the 22nd ACM SIGPLAN SIGACT symposium on Principles of programming languages}",
 organization = "ACM",
 pages        = "198--208",
 doi          = "10.1145/199448.199483",
)
@inproceedings(PaganiSelingerValiron:2014,
 author       = "Michele Pagani and Peter Selinger and Benoit Valiron",
 year         = "2014",
 title        = "{Applying {Q}uantitative {S}emantics to {H}igher-{O}rder {Q}uantum {C}omputing}",
 editor       = "P. Sewell",
 booktitle    = "{The 41th Annual ACM SIGPLAN SIGACT Symposium on Principles of Programming Languages, POPL14, San Diego, USA}",
 publisher    = "ACM",
 doi          = "10.1145/2535838.2535879",
)
@incollection(Pinto:2001,
 author       = "Jorge Sousa Pinto",
 year         = "2001",
 title        = "{Parallel Implementation Models for the Lambda-Calculus Using the Geometry of Interaction}",
 editor       = "Samson Abramsky",
 booktitle    = "{Typed Lambda Calculi and Applications}",
 series       = "{Lecture Notes in Computer Science}",
 volume       = "2044",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "385--399",
 doi          = "{10.1007/3-540-45413-6\_30}",
)