Programming Languages and Systems
From MaRDI portal
Publication:5464050
DOI10.1007/b102225zbMath1116.68394OpenAlexW2796564118MaRDI QIDQ5464050
Publication date: 17 August 2005
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/b102225
Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (10)
A categorical framework for congruence of applicative bisimilarity in higher-order languages ⋮ Complete algebraic semantics for second-order rewriting systems based on abstract syntax with variable binding ⋮ An initial algebra approach to term rewriting systems with variable binders ⋮ How to prove decidability of equational theories with second-order computation analyser SOL ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Theory and practice of second-order rewriting: foundation, evolution, and SOL ⋮ On the construction of free algebras for equational systems ⋮ Initial Algebra Semantics for Cyclic Sharing Structures ⋮ The lambda-context calculus (extended version)
This page was built for publication: Programming Languages and Systems
