On the unification problem for Cartesian closed categories

DOI10.2307/2275552MaRDI QIDQ4358059zbMATH OpenOpenAlexFDO

Authors Paliath Narendran, Frank Pfenning, Richard Statman

Publication date 1997

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2275552

zbMATH Keywords

matchingNP-completeCartesian closed categoriesundecidabilityunification problemsemantics of programming languagesunification modulo the linear isomorphisms

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Semantics in the theory of computing (68Q55) Undecidability and degrees of sets of sentences (03D35)

Recommendations

• Univalence in locally Cartesian closed categories
• scientific article; zbMATH DE number 4108981
• scientific article; zbMATH DE number 540506
• On the unicity of the theory of higher categories
• scientific article; zbMATH DE number 940753
• Cartesian closed extensions of the category of uniform spaces
• scientific article; zbMATH DE number 1284147
• Unification properties of commutative theories: a categorical treatment
• scientific article; zbMATH DE number 3968855
• scientific article; zbMATH DE number 3961917

Cites work

• scientific article; zbMATH DE number 3959364 (Why is no real title available?)
• A Unification Algorithm for Associative-Commutative Functions
• Associative-commutative unification
• Complete Sets of Reductions for Some Equational Theories
• Completion of a Set of Rules Modulo a Set of Equations
• Complexity of unification problems with associative-commutative operators
• Provable isomorphisms of types
• Retrieving library functions by unifying types modulo linear isomorphism
• The category of finite sets and Cartesian closed categories
• Using types as search keys in function libraries

Cited in

(8)

• Univalence in locally Cartesian closed categories
• Unification modulo homomorphic encryption
• Unification modulo homomorphic encryption
• scientific article; zbMATH DE number 6816943 (Why is no real title available?)
• Unification and matching modulo nilpotence
• An algorithm for distributive unification
• Retrieving library functions by unifying types modulo linear isomorphism
• Automated verification of equivalence properties of cryptographic protocols

This page was built for publication: On the unification problem for Cartesian closed categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4358059)