Higher-Order Functions and Recursive Types in PVS
Author
Sam Owre
Abstract
Presented at the Interactive Theorem Proving class at Stanford:
http://verify.stanford.edu/CS359
on April 18, 2005
ps
4-up ps
PDF
Sam Owre:
owre@csl.sri.com