1. Abramsky, S.: The lazy lambda calculus. In: Turner, D. (ed.) Research Topics in Functional Programming, pp. 65–117. Addison Wesley, Boston (1990)
2. Cappai, A., Dal Lago, U.: On equivalences, metrics, and polynomial time (long version) (2015)
http://arxiv.org/abs/1506.03710
3. Lecture Notes in Computer Science;R Crubillé,2014
4. Dal Lago, U., Sangiorgi, D., Alberti, M.: On coinductive equivalences for higher-order probabilistic functional programs. In: POPL (2014)
5. Lecture Notes in Computer Science;U Dal Lago,2012