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