HOL2P

MaRDI QIDQ32992swMATHFDO

Official website https://rd.springer.com/chapter/10.1007%2F978-3-540-74591-4_25

Cited in

(6)

• The HOL-Omega Logic
• reFLect
• HOL Light QE
• Modules over monads and initial semantics
• HOL Light QE
• HOL2P - A System of Classical Higher Order Logic with Second Order Polymorphism

This page was built for software: HOL2P