Cites work
- scientific article; zbMATH DE number 3464796 (Why is no real title available?)
- scientific article; zbMATH DE number 3471564 (Why is no real title available?)
- scientific article; zbMATH DE number 3540358 (Why is no real title available?)
- scientific article; zbMATH DE number 3574936 (Why is no real title available?)
- A genealogy of control structures
- An axiomatic basis for computer programming
- Proof rules for the programming language Euclid
- Recursive data structures
This page was built for publication: On removing the machine from the language
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1247740)