@misc(Aehlig02,
 author       = "K. Aehlig and F. Joachimski",
 year         = "2002",
 title        = "A note on B\"{o}hm's theorem",
 url          = "http://www.mathematik.uni-muenchen.de/~joachski/boehm.pdf.gz",
)
@book(Bare84,
 author       = "{H.P.} Barendregt",
 year         = "1984",
 title        = "The Lambda calculus: its syntax and semantics",
 publisher    = "North-Holland",
)
@article(Bohm68,
 author       = "C. B\"{o}hm",
 year         = "1968",
 title        = "Alcune propriet\`{a} delle forme $\beta \eta $-normali nel $\lambda K$-calcolo.",
 journal      = "Pubblicazioni dell'IAC",
 volume       = "696",
)
@article(BohmDPR79,
 author       = "C. B{\"o}hm and M. {Dezani-Ciancaglini} and P. Peretti and S. {Ronchi Della Rocca}",
 year         = "1979",
 title        = "A discrimination algorithm inside lambda-beta-calculus",
 journal      = "Theoretical Computer Science",
 volume       = "8",
 pages        = "265--292",
 doi          = "10.1016/0304-3975(79)90014-8",
)
@inproceedings(BohmGross66,
 author       = "C. B\"{o}hm and W. Gross",
 year         = "1966",
 title        = "Introduction to the CUCH",
 editor       = "E. Caianiello",
 booktitle    = "Automata Theory",
 publisher    = "Academic Press",
 address      = "London, UK",
 pages        = "35--65",
)
@inproceedings(Bohm94,
 author       = "C. B\"{o}hm and A. Piperno and S. Guerrini",
 year         = "1994",
 title        = "Lambda-Definition of Function(al)s by Normal Forms",
 editor       = "D. Sannella",
 booktitle    = "ESOP",
 series       = "Lecture Notes in Computer Science",
 volume       = "788",
 publisher    = "Springer-Verlag",
 address      = "Berlin, Germany",
 pages        = "135--149",
 doi          = "10.1007/3-540-57880-3\_9",
)
@misc(CaEhSa12,
 author       = "A. Carraro and T. Ehrhard and A. Salibra",
 year         = "2012",
 title        = "The Stack calculus",
 note         = "Submitted to LSFA12",
)
@article(David01,
 author       = "R. David and W. Py",
 year         = "2001",
 title        = "$\lambda \mu $-Calculus and {B\"{o}hm's} Theorem",
 journal      = "J. Symb. Log.",
 volume       = "66",
 number       = "1",
 pages        = "407--413",
 doi          = "10.2307/2694930",
)
@inbook(DGP08,
 author       = "M. {Dezani-Ciancaglini} and S. Guerrini and A. Piperno",
 year         = "2009",
 title        = "{B\"{o}hm's Theorem}",
 pages        = "1--15",
 publisher    = "World Scientific Pub. Co. Inc.",
 url          = "http://www.di.unito.it/~dezani/papers/dgp.pdf",
)
@article(Dez96,
 author       = "M. {Dezani-Ciancaglini} and U. De' Liguoro and A. Piperno",
 year         = "1996",
 title        = "Filter Models for Conjunctive-disjunctive $\lambda $-calculi",
 journal      = "Theoretical Computer Science",
 volume       = "170",
 number       = "1-2",
 pages        = "83--128",
 doi          = "10.1016/S0304-3975(96)00235-6",
)
@article(Dez99,
 author       = "M. {Dezani-Ciancaglini} and J. Tiuryn and P. Urzyczyn",
 year         = "1999",
 title        = "Discrimination by parallel observers: the algorithm",
 journal      = "Information and computation",
 volume       = "150",
 number       = "2",
 pages        = "153--186",
 doi          = "10.1006/inco.1998.2773",
)
@inproceedings(Felleisen90,
 author       = "M. Felleisen",
 year         = "1990",
 title        = "On the expressive power of programming languages",
 booktitle    = "ESOP",
 publisher    = "LNCS",
 pages        = "134--151",
 doi          = "10.1007/3-540-52592-0\_60",
)
@inproceedings(Griffin90,
 author       = "T. Griffin",
 year         = "1990",
 title        = "A Formulae-as-Types Notion of Control",
 booktitle    = "POPL",
 pages        = "47--58",
 doi          = "10.1145/96709.96714",
)
@book(Hankin95,
 author       = "C. Hankin",
 year         = "1995",
 title        = "Lambda Calculi: a guide for computer scientists",
 publisher    = "Oxford University Press",
)
@inproceedings(Howard80,
 author       = "{W.A.} Howard",
 year         = "1980",
 title        = "The formulas-as-types notion of construction",
 editor       = "J.R. Hindley and J.P. Seldin",
 booktitle    = "To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism",
 pages        = "479--490",
)
@article(Huet93,
 author       = "{G.P.} Huet",
 year         = "1993",
 title        = "An Analysis of B{\"o}hm's Theorem",
 journal      = "Theor. Comput. Sci.",
 volume       = "121",
 number       = "1{\&}2",
 pages        = "145--167",
 doi          = "10.1016/0304-3975(93)90087-A",
)
@article(Hyl76,
 author       = "{J.M.E.} Hyland",
 year         = "1976",
 title        = "A syntactic characterization of the equality in some models of the $\lambda $-calculus",
 journal      = "J. London Math. Soc.",
 volume       = "2",
 number       = "12",
 pages        = "361--370",
 doi          = "10.1112/jlms/s2-12.3.361",
)
@inproceedings(Naka12,
 author       = "S. Katsumata and K. Nakazawa",
 year         = "2012",
 title        = "Extensional models of untyped $\lambda \mu $-calculus",
 booktitle    = "CL\& C",
 doi          = "10.4204/EPTCS.97.3",
)
@inproceedings(ManPag11,
 author       = "G. Manzonetto and M. Pagani",
 year         = "2011",
 title        = "B\"{o}hm's theorem for resource lambda calculus through {Taylor} expansion",
 booktitle    = "TLCA",
 pages        = "153--168",
 doi          = "10.1007/978-3-642-21691-6\_14",
)
@inproceedings(Parigot91,
 author       = "M. Parigot",
 year         = "1991",
 title        = "Free Deduction: An Analysis of ''Computations'' in Classical Logic",
 booktitle    = "RCLP",
 pages        = "361--380",
 doi          = "10.1007/3-540-55460-2\_27",
)
@book(Prawitz65,
 author       = "D. Prawitz",
 year         = "1965",
 title        = "Natural Deduction - a proof theoretical study",
 publisher    = "Almqvist \& Wiksell",
 address      = "Stokholm",
)
@article(Sang94,
 author       = "D. Sangiorgi",
 year         = "1994",
 title        = "The lazy lambda calculus in a concurrency scenario",
 journal      = "Information and computation",
 volume       = "111",
 number       = "1",
 pages        = "120--153",
 doi          = "10.1006/inco.1994.1042",
)
@inproceedings(Saurin05,
 author       = "A. Saurin",
 year         = "2005",
 title        = "Separation with streams in the $\Lambda \mu $-calculus",
 booktitle    = "LICS",
 pages        = "356--365",
 doi          = "10.1109/LICS.2005.48",
)
@inproceedings(Saurin10,
 author       = "A. Saurin",
 year         = "2010",
 title        = "Standardization and B{\"o}hm Trees for $\Lambda \mu $-calculus",
 booktitle    = "FLOPS",
 pages        = "134--149",
 doi          = "10.1007/978-3-642-12251-4\_11",
)
@article(Saurin10b,
 author       = "A. Saurin",
 year         = "2010",
 title        = "Typing streams in the $\Lambda \mu $-calulus",
 journal      = "ACM Trans. Comput. Log.",
 volume       = "11",
 number       = "4",
 doi          = "10.1145/1805950.1805958",
)
@book(Hindley86,
 author       = "{J.P.} Seldin and J. Hindley",
 year         = "1986",
 title        = "Introduction to combinators and $\lambda $-calculus",
 publisher    = "Cambridge University Press",
)
@article(Streicher98,
 author       = "T. Streicher and B. Reus",
 year         = "1998",
 title        = "Classical logic, continuation semantics and abstract machines",
 journal      = "J. Funct. Program.",
 volume       = "6",
 number       = "8",
 pages        = "543--572",
 doi          = "10.1017/S0956796898003141",
)
@article(Wad76,
 author       = "{C.P.} Wadsworth",
 year         = "1976",
 title        = "The relation between computational and denotational properties for Scott's $D_\infty $-models of the $\lambda $-calculus",
 journal      = "SIAM Journal on Computing",
 volume       = "5",
 number       = "3",
 pages        = "488--521",
 doi          = "10.1137/0205036",
)