@misc(abadi,
 author       = "M.~Abadi and L.~Cardelli and G.~Plotkin",
 year         = "1993",
 title        = "Types for the {Scott} Numerals.",
 howpublished = "\url {http://lucacardelli.name/Papers/Notes/scott2.pdf}",
)
@inproceedings(gg,
 author       = "B.~Geron and H.~Geuvers",
 year         = "2013",
 title        = "Continuation calculus",
 booktitle    = "Proceedings of COS 2013",
 series       = "EPTCS",
 volume       = "127",
 pages        = "66--85",
 doi          = "10.4204/EPTCS.127.5",
)
@misc(geronthesis,
 author       = "Bram Geron",
 year         = "2013",
 title        = "Continuation Calculus, master's thesis",
 howpublished = "\url { http://alexandria.tue.nl/extra1/afstversl/wsk-i/geron2013.pdf}",
)
@misc(geuvers-typlamIt,
 author       = "Herman Geuvers",
 year         = "2014",
 title        = "A typed $\lambda $-calculus with CBN and CBV iterators",
 howpublished = "To appear",
)
@inproceedings(jansen,
 author       = "J.M. Jansen",
 year         = "2013",
 title        = "Programming in the $\lambda $-Calculus: From {C}hurch to {S}cott and Back",
 booktitle    = "The Beauty of Functional Code",
 series       = "Lecture Notes in Computer Science",
 volume       = "8106",
 pages        = "168--180",
 doi          = "10.1007/978-3-642-38143-0",
)
@article(Krivine94,
 author       = "Jean-Louis Krivine",
 year         = "1994",
 title        = "Classical Logic, Storage Operators and Second-Order lambda-Calculus",
 journal      = "Ann. Pure Appl. Logic",
 volume       = "68",
 number       = "1",
 pages        = "53--78",
 doi          = "10.1016/0168-0072(94)90047-7",
)
@misc(miquel,
 author       = "A.~Miquel",
 year         = "2009",
 title        = "Classical realizability with forcing and the axiom of countable choice",
 howpublished = "\url {http://perso.ens-lyon.fr/alexandre.miquel/habilitation/forcing.pdf}",
)