Equational type logic

DOI10.1016/0304-3975(90)90118-2MaRDI QIDQ752689zbMATH OpenOpenAlexFDO

Authors Vincenzo Manca, Antonino Salibra, Giuseppe Scollo

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

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)

Recommendations

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

Cites work

• scientific article; zbMATH DE number 4018380 (Why is no real title available?)
• scientific article; zbMATH DE number 4180819 (Why is no real title available?)
• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 3853166 (Why is no real title available?)
• scientific article; zbMATH DE number 3963900 (Why is no real title available?)
• scientific article; zbMATH DE number 4033040 (Why is no real title available?)
• scientific article; zbMATH DE number 4078771 (Why is no real title available?)
• scientific article; zbMATH DE number 3707807 (Why is no real title available?)
• scientific article; zbMATH DE number 17814 (Why is no real title available?)
• scientific article; zbMATH DE number 139986 (Why is no real title available?)
• scientific article; zbMATH DE number 3521950 (Why is no real title available?)
• scientific article; zbMATH DE number 3581594 (Why is no real title available?)
• scientific article; zbMATH DE number 4124996 (Why is no real title available?)
• scientific article; zbMATH DE number 6296809 (Why is no real title available?)
• scientific article; zbMATH DE number 3304001 (Why is no real title available?)
• Abstract data types with exception handling: An initial approach based on a distinction between exceptions and errors
• Algebras with a Scheme of Operators
• Conditional rewrite rules: Confluence and termination
• Heterogeneous algebras
• Partial abstract types
• Semantics of computation

Cited in

(25)

• scientific article; zbMATH DE number 18641 (Why is no real title available?)
• Logic operators and quantifiers in type-theory of algorithms
• Logical equations in monadic logic
• Interpolation and compactness in categories of pre-institutions
• scientific article; zbMATH DE number 67036 (Why is no real title available?)
• Some Varieties of Equational Logic
• R n - and G n -logics
• Adding equations to System F types
• scientific article; zbMATH DE number 17814 (Why is no real title available?)
• scientific article; zbMATH DE number 139986 (Why is no real title available?)
• Specification and proof in membership equational logic
• Type introduction for equational rewriting
• Dynamically-typed computations for order-sorted equational presentations
• Equational Reasoning with Applicative Functors
• Equivalence and difference between institutions: simulating Horn Clause Logic with based algebras
• Exception handling and term labelling
• Specification styles in distributed systems design and verification
• scientific article; zbMATH DE number 6399373 (Why is no real title available?)
• Universal axioms for bisimulations
• Axiomatizing permutation equivalence
• Relating CASL with other specification languages: the institution level.
• scientific article; zbMATH DE number 1487858 (Why is no real title available?)
• Location equivalence in a parametric setting
• On the implementation of concurrent calculi in net calculi: two case studies
• Higher-order algebra with transfinite types

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)