PAL+: a lambda-free logical framework

DOI10.1017/S0956796802004525zbMATH Open1038.03035MaRDI QIDQ4457835FDOQ4457835

Zhaohui Luo

Publication date: 17 March 2004

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

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

zbMATH Keywords

lambda-free logical frameworkspecification of type theories

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Tactics and Parameters
• PAL+
• A pluralist approach to the formalisation of mathematics

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)