@inproceedings(Ager:2003:FCE:888251.888254,
 author       = {Mads Sig Ager and Dariusz Biernacki and Olivier Danvy and Jan Midtgaard},
 year         = {2003},
 title        = {A Functional Correspondence Between Evaluators and Abstract Machines},
 booktitle    = {Proceedings of the 5th ACM SIGPLAN International Conference on Principles and Practice of Declaritive Programming},
 series       = {PPDP '03},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {8--19},
 doi          = {10.1145/888251.888254},
)
@inbook(Barendregt,
 author       = {H.P Barendregt},
 year         = {1984},
 title        = {{The Lambda Calculus: Its Syntax and Semantics}},
 publisher    = {North-Holland, Amsterdam},
)
@article(Biernacka-Danvy:TOCL07,
 author       = {Ma{\l}gorzata Biernacka and Olivier Danvy},
 year         = {2007},
 title        = {A Concrete Framework for Environment Machines},
 journal      = {ACM Transactions on Computational Logic},
 volume       = {9},
 number       = {1},
 pages        = {1--30},
 doi          = {10.1145/1297658.1297664},
)
@article(bohm1968alcune,
 author       = {Corrado B{\"o}hm},
 year         = {1968},
 title        = {Alcune proprieta delle forme $\beta$-$\eta$-normali nel $\lambda$-K-calcolo},
 journal      = {Pubblicazioni dell'Istituto per le Applicazioni del Calcolo},
 volume       = {696},
)
@article(deBruijn1972381,
 author       = {{}{de Bruijn}, N.G},
 year         = {1972},
 title        = {Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem},
 journal      = {Indagationes Mathematicae (Proceedings)},
 volume       = {75},
 number       = {5},
 pages        = {381 -- 392},
 doi          = {10.1016/1385-7258(72)90034-0},
)
@inproceedings(carraro:stackcalculus:LSFA,
 author       = {Alberto Carraro and Thomas Ehrhard and Antonino Salibra},
 year         = {2012},
 title        = {The stack calculus},
 booktitle    = {Proceedings Seventh Workshop on Logical and Semantic Frameworks, with Applications, {LSFA} 2012, Rio de Janeiro, Brazil, September 29-30, 2012.},
 pages        = {93--108},
 doi          = {10.4204/EPTCS.113.10},
)
@book(curien1988lambda,
 author       = {P.L. Curien},
 year         = {1988},
 title        = {The {$\lambda\rho $}-calculus: an Abstract Framework for Environment Machines},
 publisher    = {Ecole Normale Sup{\'e}rieure (Paris). Laboratoire d'Informatique},
)
@inproceedings(DBLP:conf/esop/DownenA14,
 author       = {Paul Downen and Zena M. Ariola},
 year         = {2014},
 title        = {The Duality of Construction},
 editor       = {Zhong Shao},
 booktitle    = {Programming Languages and Systems - 23rd European Symposium on Programming, {ESOP} 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2014, Grenoble, France, April 5-13, 2014, Proceedings},
 series       = {Lecture Notes in Computer Science},
 volume       = {8410},
 publisher    = {Springer},
 pages        = {249--269},
 doi          = {10.1007/978-3-642-54833-8\_14},
)
@book(girard1989proofs,
 author       = {Jean-Yves Girard and Paul Taylor and Yves Lafont},
 year         = {1989},
 title        = {Proofs and types},
 edition      = {web reprint (2003)},
 publisher    = {Cambridge University Press},
)
@inproceedings(Her05,
 author       = {Hugo Herbelin},
 year         = {2005},
 title        = {C'est maintenant qu'on calcule : Au c{\oe}ur de la dualit{\'e}},
 booktitle    = {Habilitation \`{a} diriger les reserches},
)
@article(Hughes:1989:WFP:63410.63411,
 author       = {J. Hughes},
 year         = {1989},
 title        = {Why Functional Programming Matters},
 journal      = {Comput. J.},
 volume       = {32},
 number       = {2},
 pages        = {98--107},
 doi          = {10.1093/comjnl/32.2.98},
)
@article(Krivine:2007:CLM:1325146.1325153,
 author       = {Jean-Louis Krivine},
 year         = {2007},
 title        = {A Call-by-name Lambda-calculus Machine},
 journal      = {Higher Order Symbol. Comput.},
 volume       = {20},
 number       = {3},
 pages        = {199--207},
 doi          = {10.1007/s10990-007-9018-9},
)
@misc(marlow:statemonad:02,
 author       = {Simon Marlow},
 year         = {2002},
 title        = {State monads don't respect the monad laws in Haskell},
 howpublished = {Haskell mailing list},
)
@phdthesis(Munch13PhD,
 author       = {Munch-Maccagnoni, Guillaume},
 year         = {2013},
 title        = {{S}yntax and {M}odels of a non-{A}ssociative {C}omposition of {P}rograms and {P}roofs},
 school       = {Univ. Paris Diderot},
)
@inproceedings(lambdamucons,
 author       = {Koji Nakazawa and Tomoharu Nagai},
 year         = {2014},
 title        = {Reduction System for Extensional Lambda-mu Calculus.},
 booktitle    = {RTA-TLCA},
 pages        = {349--363},
 doi          = {10.1007/978-3-319-08918-8\_24},
)
@inproceedings(Reynolds:1972,
 author       = {John C. Reynolds},
 year         = {1972},
 title        = {Definitional Interpreters for Higher-order Programming Languages},
 booktitle    = {Proceedings of the ACM Annual Conference - Volume 2},
 series       = {ACM '72},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {717--740},
 doi          = {10.1023/A:1010027404223},
)
@article(DBLP:journals/toplas/SabryW97,
 author       = {Amr Sabry and Philip Wadler},
 year         = {1997},
 title        = {A Reflection on Call-by-Value},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {19},
 number       = {6},
 pages        = {916--941},
 doi          = {10.1145/267959.269968},
)
@incollection(Sestoft:2002:DLC:860256.860276,
 author       = {Peter Sestoft},
 year         = {2002},
 title        = {Demonstrating Lambda Calculus Reduction},
 editor       = {Torben \AE Mogensen and David A. Schmidt and I. Hal Sudborough},
 booktitle    = {The Essence of Computation},
 publisher    = {Springer-Verlag New York, Inc.},
 address      = {New York, NY, USA},
 pages        = {420--435},
 doi          = {10.1007/3-540-36377-7\_20},
)