scientific article; zbMATH DE number 3513288
From MaRDI portal
Publication:4092932
zbMath0327.68006MaRDI QIDQ4092932
Publication date: 1975
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming, Projecting sequential algorithms on strongly stable functions, Adherences of languages, The IO- and OI-hierarchies, Unnamed Item, An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus, Completeness results for the equivalence of recursive schemas, IO and OI. I, IO and OI. II, Program transformations and algebraic semantics, A relative PCF-definability result for strongly stable functions and some corollaries, Definition of the semantics of programming language constructs in terms of ?-calculus. I
