@inproceedings(Abadi-Gordon'97,
 author       = "M. Abadi and A. Gordon",
 year         = "1997",
 title        = "{A Calculus for Cryptographic Protocols: The Spi Calculus}",
 booktitle    = "4th CCS",
 pages        = "36--47",
 doi          = "10.1145/266420.266432",
)
@article(Abramsky-Ong'93b,
 author       = "S. Abramsky and C.-H.L. Ong",
 year         = "1993",
 title        = "{Full Abstraction in the Lazy Lambda Calculus}",
 journal      = "Information and Computation",
 volume       = "105",
 number       = "2",
 pages        = "159--267",
 doi          = "10.1006/inco.1998.2740",
)
@inproceedings(vBCV-CLaC'08,
 author       = "S. van Bakel and L. Cardelli and {M.G.} Vigliotti",
 year         = "2008",
 title        = "{From $\cal X$ to $\pi $; Representing the Classical Sequent Calculus in the $\pi $-calculus}",
 booktitle    = "CL\&C'08",
)
@article(Bakel-Lescanne-MSCS'08,
 author       = "S. van Bakel and P. Lescanne",
 year         = "2008",
 title        = "{Computation with Classical Sequents}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 pages        = "555--609",
 doi          = "10.1017/S0960129508006762",
)
@inproceedings(Bakel-Vigliotti-CONCUR'09,
 author       = "S. van Bakel and {M.G.} Vigliotti",
 year         = "2009",
 title        = "{A logical interpretation of the $\lambda $-calculus into the $\pi $-calculus, preserving spine reduction and types}",
 booktitle    = "CONCUR'09",
 series       = "",
 volume       = "5710",
 publisher    = "Springer",
 pages        = "84 -- 98",
 doi          = "10.1007/978-3-642-04081-8\_7",
)
@inproceedings(Bakel-Vigliotti-IFIPTCS'12,
 author       = "S. van Bakel and {M.G.} Vigliotti",
 year         = "2012",
 title        = "{An Output-Based Semantics of $\lambda \mu $ with Explicit Substitution in the $\pi $-calculus - Extended Abstract}",
 booktitle    = "IFIP-TCS 2012",
 series       = "LNCS",
 volume       = "7604",
 publisher    = "Springer",
 pages        = "372--387",
 doi          = "10.1007/978-3-642-33475-7\_26",
)
@book(Barendregt'84,
 author       = "H. Barendregt",
 year         = "1984",
 title        = "{The Lambda Calculus: its Syntax and Semantics}",
 edition      = "revised",
 publisher    = "North-Holland",
)
@inproceedings(Bloo-Rose'95,
 author       = "R. Bloo and K.H. Rose",
 year         = "1995",
 title        = "{Preservation of Strong Normalisation in Named Lambda Calculi with Explicit Substitution and Garbage Collection}",
 booktitle    = "CSN'95",
 pages        = "62--72",
 doi          = "10.1.1.51.5026",
)
@article(Church'36,
 author       = "A. Church",
 year         = "1936",
 title        = "{A Note on the Entscheidungsproblem}",
 journal      = "JSL",
 volume       = "1",
 number       = "1",
 pages        = "40--41",
 doi          = "10.2307/2269326",
)
@inproceedings(CiminiCS'10,
 author       = "M. Cimini and C. Sacerdoti Coen and D. Sangiorgi",
 year         = "2010",
 title        = "{Functions as Processes: Termination and the $\color {semcolour}{\overline {`l}`m\mathaccent "797E\relax {`m}}$-Calculus}",
 booktitle    = "TGC'10",
 series       = "LNCS",
 volume       = "6084",
 publisher    = "Springer",
 pages        = "73--86",
 doi          = "10.1007/978-3-642-15640-3\_5",
)
@inproceedings(Curien-Herbelin'00,
 author       = "P.-L. Curien and H. Herbelin",
 year         = "2000",
 title        = "{The Duality of Computation}",
 booktitle    = "ICFP'00",
 series       = "ACM Sigplan Notices",
 volume       = "35.9",
 publisher    = "ACM",
 pages        = "233--243",
 doi          = "10.1145/351240.351262",
)
@unpublished(deLiguoro'13,
 author       = "U. de'Liguoro",
 year         = "2014",
 title        = "{The Approximation Theorem for the $\Lambda \mu $-Calculus}",
 note         = "To appear in MSCS",
)
@inproceedings(deGroote'94,
 author       = "Ph. de Groote",
 year         = "1994",
 title        = "{On the Relation between the $\lambda \mu $-Calculus and the Syntactic Theory of Sequential Control}",
 booktitle    = "LPAR'94",
 series       = "LNCS",
 volume       = "822",
 publisher    = "Springer",
 pages        = "31--43",
 doi          = "10.1007/3-540-58216-9\_27",
)
@inproceedings(Honda-Tokoro'91,
 author       = "K. Honda and M. Tokoro",
 year         = "1991",
 title        = "{An Object Calculus for Asynchronous Communication}",
 booktitle    = "{ECOOP'91}",
 series       = "LNCS",
 volume       = "512",
 publisher    = "Springer",
 pages        = "133--147",
 doi          = "10.1007/BFb0057019",
)
@inproceedings(Honda-Yoshida-Berger'04,
 author       = "K. Honda and N. Yoshida and M. Berger",
 year         = "2004",
 title        = "{Control in the $\pi $-Calculus}",
 booktitle    = "Proceedings of Fourth ACM-SIGPLAN Continuation Workshop {\rm (CW'04)}",
)
@incollection(Klop'92,
 author       = "J.W. Klop",
 year         = "1992",
 title        = "{Term Rewriting Systems}",
 booktitle    = "Handbook of Logic in Computer Science",
 chapter      = "1",
 volume       = "2",
 publisher    = "Clarendon Press",
 pages        = "1--116",
)
@article(Krivine'07,
 author       = "J-L. Krivine",
 year         = "2007",
 title        = "{A call-by-name lambda-calculus machine}",
 journal      = "{Higher Order and Symbolic Computation}",
 volume       = "20",
 number       = "3",
 pages        = "199--207",
 doi          = "10.1007/s10990-007-9018-9",
)
@techreport(Lafont-Reus-Streicher'93,
 author       = "Y. Lafont and B. Reus and Th. Streicher",
 year         = "1993",
 title        = "{Continuation Semantics or Expressing Implication by Negation}",
 type         = "Report",
 number       = "9321",
 institution  = "Ludwig-Maximilians-Universit\"at",
 address      = "M\"unchen",
)
@inproceedings(Lassen'06,
 author       = "S.B. Lassen",
 year         = "2006",
 title        = "{Head Normal Form Bisimulation for Pairs and the $\lambda \mu $-Calculus}",
 booktitle    = "LICS'06",
 pages        = "297--306",
 url          = "http://doi.ieeecomputersociety.org/10.1109/LICS.2006.29",
)
@article(Milner'92,
 author       = "R. Milner",
 year         = "1992",
 title        = "{Functions as Processes}",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "2",
 number       = "2",
 pages        = "269--310",
 doi          = "10.1017/S0960129500001407",
)
@inproceedings(Parigot'92,
 author       = "M. Parigot",
 year         = "1992",
 title        = "{An algorithmic interpretation of classical natural deduction}",
 booktitle    = "LPAR'92",
 series       = "LNCS",
 volume       = "624",
 publisher    = "Springer",
 pages        = "190--201",
 doi          = "10.1007/BFb0013061",
)
@phdthesis(Py-PhD'98,
 author       = "W. Py",
 year         = "1998",
 title        = "{Confluence en $\lambda \mu $-calcul}",
 type         = "Phd thesis",
 school       = "Universit\'e de Savoie",
)
@article(Sangiorgi'94,
 author       = "D. Sangiorgi",
 year         = "1994",
 title        = "{The Lazy Lambda Calculus in a Concurrency Scenario}",
 journal      = "I\&C",
 volume       = "111",
 number       = "1",
 pages        = "120--153",
 doi          = "10.1006/inco.1994.1042",
)
@book(Sangiorgi-Walker-Book'01,
 author       = "D. Sangiorgi and D. Walker",
 year         = "2001",
 title        = "{The Pi-Calculus}",
 publisher    = "Cambridge University Press",
)
@inproceedings(Saurin'10,
 author       = "A. Saurin",
 year         = "2010",
 title        = "{Standardization and B{\"o}hm Trees for $\lambda \mu $-calculus}",
 editor       = "M. Blume and N. Kobayashi and G. Vidal",
 booktitle    = "FLOPS'10",
 series       = "LNCS",
 volume       = "6009",
 publisher    = "Springer",
 pages        = "134--149",
 doi          = "10.1007/978-3-642-12251-4\_11",
)
@article(Wadsworth'76,
 author       = "C.P. Wadsworth",
 year         = "1976",
 title        = "{The Relation Between Computational and Denotational Properties for Scott's D$_{\unhbox \voidb@x \hbox {infty}}$-Models of the Lambda-Calculus}",
 journal      = "SIAM JoC",
 volume       = "5",
 number       = "3",
 pages        = "488--521",
 doi          = "10.1137/0205036",
)