Equational type logic

From MaRDI portal

Publication:752689

Jump to:navigation, search

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

confluence dependent types type assignment partiality conditional term rewriting systems equational type logic type algebras type 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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:752689&oldid=12673411"