Higher-order logic
From Scholarpedia
(Redirected from HOL)
Suggested co-authors:
- Name: Dr. Tobias Nipkow
- Email: nipkow@in.tum.de
- Affiliation: tum.de
- Comments: co-authored Isabelle for higher-order logic, editor in chief of JAR
- Suggested by: User:Mokhov
- Name: Dr. Lawrence Paulson
- Email: lp15@cam.ac.uk
- Affiliation: cam.ac.uk
- Comments: co-authored Isabelle, etc.
- Suggested by: User:Mokhov
