scientific article; zbMATH DE number 2086588

zbMath1057.68063MaRDI QIDQ4737122

Christoph Lüth, Neil Ghani

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2309/23090018.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Grammars and rewriting systems (68Q42) Categorical semantics of formal languages (18C50) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (2)

Explicit substitutions and higher-order syntax ⋮ Coproducts of Ideal Monads

This page was built for publication: