scientific article

zbMath1270.68089MaRDI QIDQ2843728

Ralph Matthes, Tarmo Uustalu

Publication date: 23 August 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S157106610480639X

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

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Theories (e.g., algebraic theories), structure, and semantics (18C10) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (4)

Explicit substitutions and higher-order syntax ⋮ The category-theoretic solution of recursive program schemes ⋮ Substitution in non-wellfounded syntax with variable binding ⋮ Unnamed Item

This page was built for publication: