Equational type logic

DOI10.1016/0304-3975(90)90118-2zbMATH Open0716.03022OpenAlexW2180920399MaRDI QIDQ752689FDOQ752689

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

Recommendations

• scientific article
• Some Varieties of Equational Logic
• scientific article; zbMATH DE number 17814
• Classifying categories for partial equational logic
• An introduction to category-based equational logic

zbMATH Keywords

dependent typesconfluencetype assignmentpartialityconditional term rewriting systemsequational type logictype algebrastype polymorphism

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• Heterogeneous algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Conditional rewrite rules: Confluence and termination
• Algebras with a Scheme of Operators
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Partial abstract types
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of computation
• Title not available (Why is that?)

Cited In (23)

• Title not available (Why is that?)
• Logical equations in monadic logic
• Interpolation and compactness in categories of pre-institutions
• Title not available (Why is that?)
• Some Varieties of Equational Logic
• R n - and G n -logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• Specification and proof in membership equational logic
• Dynamically-typed computations for order-sorted equational presentations
• Type introduction for equational rewriting
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Equational Reasoning with Applicative Functors
• Exception handling and term labelling
• Title not available (Why is that?)
• Specification styles in distributed systems design and verification
• Universal axioms for bisimulations
• Axiomatizing permutation equivalence
• Relating CASL with other specification languages: the institution level.
• Title not available (Why is that?)
• Higher-order algebra with transfinite types
• Location equivalence in a parametric setting
• On the implementation of concurrent calculi in net calculi: two case studies

This page was built for publication: Equational type logic

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