157 papers found
Refreshing results…
Set Theory for Verification: II. Induction and Recursion
Download from arxiv.orgSet Theory for Verification: I. From Foundations to Functions
Download from arxiv.orgA Formulation of the Simple Theory of Types (for Isabelle)
Download from arxiv.orgIsabelle: The next seven hundred theorem provers
Download from citeseerx.ist.psu.eduNatural deduction proof as higher-order resolution
Download from www.cl.cam.ac.ukA Semantics-Directed Compiler Generator.
Download from www.researchgate.netMissing publications? Read more about our data sources.