scientific article; zbMATH DE number 1424011

MaRDI QIDQ4945199zbMATH OpenFDO

Authors Norbert Völker

Publication date 23 August 2000

zbMATH Keywords

higher-order logicdatatypessum typepolymorphic type systemdisjoint sumsmonomorphic sum type

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• Axioms and decidability for type isomorphism in the presence of sums
• scientific article; zbMATH DE number 1136099
• scientific article; zbMATH DE number 3843744
• scientific article; zbMATH DE number 713392
• Disjunctions of Horn theories and their cores
• scientific article; zbMATH DE number 1303023
• Coherent and Strongly Discrete Rings in Type Theory
• Type classes and filters for mathematical analysis in Isabelle/HOL
• Counting partial types in simple theories
• scientific article; zbMATH DE number 3927222

Cited in

(1)

• scientific article; zbMATH DE number 713392 (Why is no real title available?)

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