Higher order logic - davidar/scholarpedia GitHub Wiki
Suggested co-authors:
- Name: Dr. Tobias Nipkow
- Email: [email protected]
- 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: [email protected]
- Affiliation: cam.ac.uk
- Comments: co-authored Isabelle, etc.
- Suggested by: User:Mokhov