Coinduction in Coq (0)

by Y Bertot
Venue:In Lecture Notes of TYPES Summer School 2005