scientific article
From MaRDI portal
Publication:2767171
zbMath0983.68115MaRDI QIDQ2767171
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50)
Related Items (2)
Coalgebras and monads in the semantics of Java ⋮ Building Verification Condition Generators by Compositional Extension
This page was built for publication:
