CoInduction in Coq (0)

by Y Bertot
Venue:In Lecture Notes of TYPES Summer School 2005, August 1526 2005, Göteborg, Sweden. vol II, 2005. http://www.cs.chalmers.se/Cs/Research/Logic/ TypesSS05/Extra/lectnotes_vol2.pdf, [cited 9 July 2008]. 34 M. NIQUI