Expansion postponement for normalising pure type systems (Q4236762)
From MaRDI portal
scientific article; zbMATH DE number 1270118
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expansion postponement for normalising pure type systems |
scientific article; zbMATH DE number 1270118 |
Statements
Expansion postponement for normalising pure type systems (English)
0 references
17 August 1999
0 references
expansion postponement
0 references
normalising pure type systems
0 references
typechecking
0 references
