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