scientific article; zbMATH DE number 1303347

zbMATH Open0924.03019MaRDI QIDQ4249900FDOQ4249900

Authors: Karl Crary 

Publication date: 17 June 1999

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

Recommendations

• Partiality, state and dependent types
• HYBRID PARTIAL-TOTAL TYPE THEORY
• Partial inductive definitions as type-systems for \(\lambda\)-terms
• scientific article; zbMATH DE number 1863381
• Remarks on Martin-Löf's partial type theory

zbMATH Keywords

compactnessmonotonicityautomated theorem provingdependent productspartial typesadmissible typescomputational approximation relationpredicate-admissibility

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (3)

• \(\Sigma\)-predicates of finite types over an admissible set
• Partiality, state and dependent types
• HYBRID PARTIAL-TOTAL TYPE THEORY

Uses Software

• Coq
• Nuprl

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