From light logics to type assignments: a case study (Q3644842)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | From light logics to type assignments: a case study |
scientific article |
Statements
From light logics to type assignments: a case study (English)
0 references
12 November 2009
0 references
type assignment
0 references
implicit computational complexity
0 references
lambda calculus
0 references
polynomial time
0 references
