Coinduction for recursive data types: partial orders, metric spaces and omega-categories (2000)

by J Worrel
Venue:in: H. Reichel (Ed.), Electronic Notes in Theoretical Computer Science