Category-sorted algebra-based action semantics
From MaRDI portal
Publication:2638792
DOI10.1016/0304-3975(90)90116-YzbMath0717.68063OpenAlexW1976146918MaRDI QIDQ2638792
Publication date: 1990
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0304-3975(90)90116-y
Applications of universal algebra in computer science (08A70) Semantics in the theory of computing (68Q55) Categories of algebras (08C05) Natural morphisms, dinatural morphisms (18A23)
Uses Software
Cites Work