Higher-order logic

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