The following pages link to (Q4138713):
Displaying 12 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- A mathematical semantics for a nondeterministic typed lambda-calculus (Q1152949) (← links)
- The IO- and OI-hierarchies (Q1161273) (← links)
- Completeness results for the equivalence of recursive schemas (Q1232171) (← links)
- Computability concepts for programming language semantics (Q1235972) (← links)
- PASCAL in LCF: Semantics and examples of proof (Q1242670) (← links)
- LCF considered as a programming language (Q1243117) (← links)
- A theory of type polymorphism in programming (Q1250704) (← links)
- On some classes of interpretations (Q1251892) (← links)
- Program transformations and algebraic semantics (Q1254849) (← links)
- Concrete domains (Q1314355) (← links)
- (Q4122847) (← links)