Sciweavers

CORR
2006
Springer

CoInduction in Coq

13 years 11 months ago
CoInduction in Coq
Yves Bertot
Added 11 Dec 2010
Updated 11 Dec 2010
Type Journal
Year 2006
Where CORR
Authors Yves Bertot
Comments (0)