scientific article; zbMATH DE number 604880

zbMATH Open0810.68075MaRDI QIDQ4299858FDOQ4299858

Authors Cyrus F. Nourani

Publication date 12 July 1994

zbMATH Keywords

equational incompleteness

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Completeness of Proof Systems for Equational Specifications
• Equational type logic
• Equational theories for inductive types
• A completeness result for inequational reasoning in a full higher-order setting
• scientific article; zbMATH DE number 3938562

Cited in

(9)

• Total objects in inductively defined types
• The underdetermination of typings
• Completeness of Proof Systems for Equational Specifications
• Partial Types and Intervals
• scientific article; zbMATH DE number 5872251 (Why is no real title available?)
• The role of compactification theory in the type problem
• Types, tableaus, and Gödel's God
• A completeness result for inequational reasoning in a full higher-order setting
• Type theory should eat itself

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