PAL+: a lambda-free logical framework

DOI10.1017/S0956796802004525MaRDI QIDQ4457835zbMATH OpenFDO

Authors Zhaohui Luo

Publication date 17 March 2004

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796802004525

zbMATH Keywords

lambda-free logical frameworkspecification of type theories

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A framework for defining logical frameworks
• An open logical framework
• A logical framework with explicit conversions
• scientific article; zbMATH DE number 516994
• A modular construction of type theories

Cited in

(4)

• A pluralist approach to the formalisation of mathematics
• PAL+
• Tactics and parameters
• An extended type system with lambda-typed lambda-expressions

This page was built for publication: PAL⁺: a lambda-free logical framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4457835)