scientific article; zbMATH DE number 1538034
From MaRDI portal
Publication:4518889
zbMath0960.68036MaRDI QIDQ4518889
Publication date: 3 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (5)
Combining control effects and their models: game semantics for a hierarchy of static, dynamic and delimited control effects ⋮ Combining algebraic effects with continuations ⋮ Validating Brouwer's continuity principle for numbers using named exceptions ⋮ Comparing Control Constructs by Double-barrelled CPS Transforms ⋮ A type-theoretic foundation of delimited continuations
Uses Software
This page was built for publication:
