PAL+

MaRDI QIDQ33174swMATHFDO

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+