Coalgebras in PVS
Author
Sam Owre
Abstract
Slides presented at the IFIP Working Group 1.3 meeting: Foundations of System Specification, Stanford June 29-July 1, 2000
postscript
Sam Owre:
owre@csl.sri.com