PAL+

swMATH21366MaRDI QIDQ33174FDOQ33174

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=967856

Described by source

• PAL⁺: a lambda-free logical framework

Cited In (2)

• Types for Proofs and Programs
• Tactics and parameters

This page was built for software: PAL+