scientific article; zbMATH DE number 65526

zbMATH Open0756.03013MaRDI QIDQ4012874FDOQ4012874

Authors: Peter Aczel, David Carlisle, Nax Paul Mendler 

Publication date: 27 September 1992

Title of this publication is not available (Why is that?)

Recommendations

• The foundation of a generic theorem prover
• The Isabelle Framework
• scientific article; zbMATH DE number 1088221
• A modular construction of type theories
• scientific article; zbMATH DE number 559219

zbMATH Keywords

generic theorem prover Isabellelogical theory of constructionLTC frameworkLTC theoriesMartin-Löf type theories

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Second- and higher-order arithmetic and fragments (03F35) Software, source code, etc. for problems pertaining to mathematical logic and foundations (03-04)

Cited In (5)

• Levels of truth
• The foundation of a generic theorem prover
• Title not available (Why is that?)
• The Isabelle Framework
• A pluralist approach to the formalisation of mathematics

Uses Software

• Isabelle

This page was built for publication:

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