HOL2P

swMATH21180MaRDI QIDQ32992FDOQ32992

Author name not available (Why is that?)

Cited In (4)

• The HOL-Omega Logic
• 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