scientific article; zbMATH DE number 1424011

zbMATH Open0942.03013MaRDI QIDQ4945199FDOQ4945199

Authors: Norbert Völker 

Publication date: 23 August 2000

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

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

zbMATH Keywords

higher-order logicdatatypessum typepolymorphic type systemdisjoint sumsmonomorphic sum type

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Cited In (1)

• Title not available (Why is that?)

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)