Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (Q2129992)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus |
scientific article |
Statements
Normalization proofs for the un-typed \(\mu\mu^\prime\)-calculus (English)
0 references
25 April 2022
0 references
\(\lambda\mu\)-calculus
0 references
\(\mu\mu^\prime\)-calculus
0 references
strong normalization
0 references
weak normalization
0 references
normalization algorithm
0 references
