The following pages link to (Q3323248):
Displaying 7 items.
- Expressive power of typed and type-free programming languages (Q761790) (← links)
- Semantics of a declarative language (Q1085599) (← links)
- Formalization of the semantics of the language Refal (Q1103385) (← links)
- Definitional interpreters revisited (Q1290336) (← links)
- Induction, domains, calculi: Strachey's contributions to programming-language engineering (Q1566877) (← links)
- A mathematical approximation of data types. (Q2756020) (← links)
- One method of defining the semantics of programming language constructs in terms of lambda calculus. II (Q3706514) (← links)