scientific article; zbMATH DE number 1086712
From MaRDI portal
Publication:4362961
zbMath0889.68084MaRDI QIDQ4362961
Publication date: 11 June 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (13)
An initial algebra approach to term rewriting systems with variable binders ⋮ Explicit substitutions and higher-order syntax ⋮ Discrete Lawvere theories and computational effects ⋮ Enriched Lawvere Theories for Operational Semantics ⋮ Unnamed Item ⋮ Modularity of Confluence ⋮ Algebras, Coalgebras, Monads and Comonads ⋮ Modularity and Implementation of Mathematical Operational Semantics ⋮ Coproducts of Ideal Monads ⋮ Unnamed Item ⋮ Solving Algebraic Equations Using Coalgebra ⋮ Computing over K-modules ⋮ Coalgebraic Monads
This page was built for publication:
