scientific article; zbMATH DE number 3529402

zbMath0338.68021MaRDI QIDQ4105769

Peter D. Mosses

Publication date: 1976

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Recursive programs and denotational semantics in absolute logics of programs, The rewriting logic semantics project, Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion, A rewriting logic approach to operational semantics, Notions of computation and monads, Semantics of algorithmic languages, Unnamed Item