HOL2P

swMATH21180MaRDI QIDQ32992FDOQ32992

Author name not available (Why is that?)

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

Cited In (6)

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

This page was built for software: HOL2P