scientific article; zbMATH DE number 877752

zbMATH Open0854.03007MaRDI QIDQ4877445FDOQ4877445

Authors: Fairouz Kamareddine, Twan Laan 

Publication date: 16 July 1996

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

Recommendations

• A modern elaboration of the ramified theory of types
• Notes on the computational aspects of Kripke's theory of truth
• A constructive examination of a Russell-style ramified type theory
• A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems

zbMATH Keywords

Kripke's theory of truthcodingfinite levels of truthorders of quantificationRussell's ramified theory of types

Mathematics Subject Classification ID

Cited In (1)

• A modern elaboration of the ramified theory of types

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 Q4877445)