Equational semantics

zbMATH Open0970.68096MaRDI QIDQ2702098

Loïc Correnson

Publication date: 13 May 2001

Published in: Informatica (Ljubljana) (Search for Journal in Brave)

zbMATH Keywords

attribute grammarsequational semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (4)

Equational logic and categorical semantics for multi-languages ⋮ Title not available (Why is that?) ⋮ Title not available (Why is that?) ⋮ Equational Reasoning with Applicative Functors

This page was built for publication: Equational semantics

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