1. The lazy λ-calculus;Abramsky;Research Topics in Functional Programming,1990
2. Dijkstra monads for free;Ahman,2017
3. Observationally-induced algebras in domain theory;Battenfeld;Logical Methods in Computer Science,2014
4. Observationally-induced effect monads: Upper and lower powerspace constructions;Battenfeld;Electron. Notes Theor. Comput. Sci.,2011
5. On probabilistic applicative bisimulation and call-by-value λ-calculi;Crubillé;Lecture Notes in Computer Science,2014