Back to Results
First PageMeta Content
Mathematical 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 Nesi
Add to Reading List

Document Date: 2011-02-08 09:50:34


Open Document

File Size: 122,95 KB

Share Result on Facebook