No label defined (Q4263875)
From MaRDI portal
 | This is the editors interface |
scientific article; zbMATH DE number 1342284
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1342284 |
Statements
22 September 1999
0 references
\(\alpha\lambda\)-calculus
0 references
weakening
0 references
contraction
0 references
multiplicative function type
0 references
additive function type
0 references
calculus of proof terms
0 references
logic of bunched implications
0 references
doubly closed categories
0 references
resource interpretations
0 references
syntactic control of interference
0 references
