Higher-order logic
article-link
What links here
HOL (proof assistant)
Department of Computer Science and Technology, University of Cambridge
article-link
Ramsey's theorem
article-link
Logic for Computable Functions
article-link
Isabelle (proof assistant)
article-link
Standard ML
article-link
Type theory
article-link
ML (programming language)
article-link
Hol
article-link