Coinduction in Coq (2005)

Cached

Download Links

by Yves Bertot
Venue:Lecture Notes of TYPES Summer School 2005, Sweden, Volume II
Citations:3 - 0 self