No label defined (Q4222823)
From MaRDI portal
scientific article; zbMATH DE number 1231511
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 1231511 |
Statements
13 December 1998
0 references
typed \(\lambda\)-calculus for classical linear logic
0 references
multiple-conclusion formulation
0 references
natural deduction
0 references
continuation-passing paradigm
0 references
computational interpretation
0 references
continuation programming
0 references
