Strong normalisation for the linear term calculus (Q4836022)
From MaRDI portal
scientific article; zbMATH DE number 762285
Language | Label | Description | Also known as |
---|---|---|---|
English | Strong normalisation for the linear term calculus |
scientific article; zbMATH DE number 762285 |
Statements
Strong normalisation for the linear term calculus (English)
0 references
3 July 1995
0 references
linear term calculus
0 references
lambda calculus
0 references