No label defined (Q5856422)
From MaRDI portal
scientific article; zbMATH DE number 7327951
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 7327951 |
Statements
26 March 2021
0 references
\(\lambda\mu\)-calculus
0 references
control operators
0 references
call-by-value
0 references
normalization
0 references
type discipline
0 references
0 references
