Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (Q3000601)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types |
scientific article |
Statements
Complexity of Strongly Normalising λ-Terms via Non-idempotent Intersection Types (English)
0 references
19 May 2011
0 references
