A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.

DOI10.1016/S1571-0661(04)80513-9zbMath1270.03141OpenAlexW2246402416MaRDI QIDQ2842593

No author found.

Publication date: 15 August 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s1571-0661(04)80513-9

Mathematics Subject Classification ID

Categorical logic, topoi (03G30) Grammars and rewriting systems (68Q42) Many-valued logic (03B50)

Related Items (5)

Determinisation of relational substitutions in ordered categories with domain ⋮ Determinisation of Relational Substitutions in Ordered Categories with Domain ⋮ Monads for the formalization of a pattern matching procedure ⋮ Partially Ordered Monads and Rough Sets ⋮ Categorical Innovations for Rough Sets

Cites Work

• Set functors, \(L\)-fuzzy set categories, and generalized terms.
• Adjoint functors and triples
• A graphical approach to monad compositions
• Every Standard Construction is Induced by a Pair of Adjoint Functors
• A Machine-Oriented Logic Based on the Resolution Principle
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A categorical approach to unification of generalised terms1 1This work has been developed as a cooperation organised within COST 274.