Solutions of generalized recursive metric-space equations (2009)

by L Birkedal, K Støvring, J Thamsborg
Venue:In Proceedings of the 6th Workshop on Fixed Points in Computer Science