The following pages link to (Q4198051):
Displaying 6 items.
- Semantics of algorithmic languages (Q760200) (← links)
- A constructive method for abstract algebraic software specification (Q796979) (← links)
- A systematic study of models of abstract data types (Q801667) (← links)
- A second order theory of data types (Q1092657) (← links)
- Towards a Type Discipline for Answer Set Programming (Q3638249) (← links)
- Preface (Q5898759) (← links)