Equational type logic

DOI10.1016/0304-3975(90)90118-2zbMath0716.03022OpenAlexW2180920399MaRDI QIDQ752689

Giuseppe Scollo, Vincenzo Manca, Antonino Salibra

Publication date: 1990

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

Full work available at URL: https://research.utwente.nl/en/publications/equational-type-logic(f012a64e-efdf-4a46-b819-8b292a36bf5c).html

zbMATH Keywords

confluencedependent typestype assignmentpartialityconditional term rewriting systemsequational type logictype algebrastype polymorphism

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Equational logic, Mal'tsev conditions (08B05) Grammars and rewriting systems (68Q42) Equational classes, universal algebra in model theory (03C05)

Related Items

Exception handling and term labelling ⋮ Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras ⋮ Specification styles in distributed systems design and verification ⋮ Dynamically-typed computations for order-sorted equational presentations ⋮ Specification and proof in membership equational logic ⋮ Location equivalence in a parametric setting ⋮ On the implementation of concurrent calculi in net calculi: two case studies ⋮ R n - and G n -logics ⋮ Higher-order algebra with transfinite types ⋮ Universal axioms for bisimulations ⋮ Axiomatizing permutation equivalence ⋮ Interpolation and compactness in categories of pre-institutions ⋮ Relating CASL with other specification languages: the institution level.

Cites Work

• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Conditional rewrite rules: Confluence and termination
• Partial abstract types
• Semantics of computation
• Heterogeneous algebras
• Algebras with a Scheme of Operators
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item