No label defined (Q4263874)
From MaRDI portal
scientific article; zbMATH DE number 1342283
Language | Label | Description | Also known as |
---|---|---|---|
English | No label defined |
scientific article; zbMATH DE number 1342283 |
Statements
28 February 2000
0 references
linear chemical abstract machine
0 references
linear \(\lambda\)-calculus
0 references
term calculus
0 references
principal typing theorem
0 references
decidability of type checking
0 references