First Page | Document Content | |
---|---|---|
Date: 2011-02-08 09:50:34Mathematical logic Software engineering Theoretical computer science Type theory Computability theory Logic in computer science Proof assistants Logic for Computable Functions HOL Lambda calculus Primitive recursive function Recursion | A brief introduction to Higher Order Logic and the HOL proof assistant Monica NesiAdd to Reading ListSource URL: www.di.univaq.itDownload Document from Source WebsiteFile Size: 122,95 KBShare Document on Facebook |