A categorical interpretation of Landin's correspondence principle (Q5890068)
From MaRDI portal
scientific article; zbMATH DE number 7680660
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A categorical interpretation of Landin's correspondence principle |
scientific article; zbMATH DE number 7680660 |
Statements
A categorical interpretation of Landin's correspondence principle (English)
0 references
28 April 2023
0 references
programming language
0 references
correspondence principle
0 references
parameter binding
0 references
computation rule
0 references
arithmetic expression
0 references
0 references
