The following pages link to (Q4092932):
Displaying 14 items.
- A theory for nondeterminism, parallelism, communication, and concurrency (Q1081296) (← links)
- Equivalences and transformations of regular systems - applications to recursive program schemes and grammars (Q1098322) (← links)
- Adherences of languages (Q1157971) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- An algebraic interpretation of the \(\lambda\beta K\)-calculus; and an application of a labelled \(\lambda\)-calculus (Q1229201) (← links)
- Completeness results for the equivalence of recursive schemas (Q1232171) (← links)
- IO and OI. I (Q1241985) (← links)
- IO and OI. II (Q1243578) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- A relative PCF-definability result for strongly stable functions and some corollaries (Q1854294) (← links)
- Projecting sequential algorithms on strongly stable functions (Q1919532) (← links)
- Proofs of partial correctness for attribute grammars with applications to recursive procedures and logic programming (Q2640347) (← links)
- Definition of the semantics of programming language constructs in terms of ?-calculus. I (Q3953161) (← links)
- (Q4513578) (← links)