scientific article; zbMATH DE number 3513288
From MaRDI portal
Publication:4092932
zbMATH Open0327.68006MaRDI QIDQ4092932FDOQ4092932
Authors: Jean E. Vuillemin 
Publication date: 1975
Title of this publication is not available (Why is that?)
Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Cited In (14)
- A relative PCF-definability result for strongly stable functions and some corollaries
- Title not available (Why is that?)
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus
- IO and OI. II
- A theory for nondeterminism, parallelism, communication, and concurrency
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars
- IO and OI. I
- The IO- and OI-hierarchies
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming
- Adherences of languages
- Projecting sequential algorithms on strongly stable functions
- Definition of the semantics of programming language constructs in terms of ?-calculus. I
- Completeness results for the equivalence of recursive schemas
- Program transformations and algebraic semantics
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4092932)
