A metric model of guarded recursion (2010)

by L Birkedal, J Schwinghammer, K Stvring
Venue:In FICS