scientific article
From MaRDI portal
Publication:2767187
zbMath0983.68042MaRDI QIDQ2767187
Publication date: 28 January 2002
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (4)
Towards patterns for heaps and imperative lambdas ⋮ Modelling higher-order dual nondeterminacy ⋮ Declarative pearl: deriving monadic quicksort ⋮ Longest segment of balanced parentheses: an exercise in program inversion in a segment problem
This page was built for publication:
