scientific article; zbMATH DE number 2154397

MaRDI QIDQ4664923zbMATH OpenFDO

Authors M. Randall Holmes

Publication date 9 April 2005

zbMATH Keywords

proof checkertype checker

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
• A modern elaboration of the ramified theory of types
• Basic polymorphic typechecking
• scientific article; zbMATH DE number 2152246
• A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems

Cited in

(4)

• A modern elaboration of the ramified theory of types
• Polymorphic type-checking for the ramified theory of types of \textit{Principia mathematica}
• Typed Lambda Calculi and Applications
• A correspondence between Martin-Löf type theory, the ramified theory of types and pure type systems

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