• Normalization by evaluation in the delay monad: A case study for coinduction via copatterns and sized typesAbel, Andreas; Chapman, JamesProceedings of the 5th Workshop on Mathematically Structured Functional Programming (MSFP 2014) : Grenoble, France, 12 April 20142014 / p. 51-67 https://doi.org/10.4204/EPTCS.153.4 https://www.scopus.com/sourceid/21100244944 https://www.scopus.com/record/display.uri?eid=2-s2.0-84938794091&origin=inward&txGid=ec71e364f461bd0191452a4d91fb2a63
• Semantics of the probabilistic typed lambda calculus : Markov chain semantics, termination behavior, and denotational semanticsDraheim, Dirk2017 https://doi.org/10.1007/978-3-642-55198-7 http://www.ester.ee/record=b4671951*est