Intersection Types from a Proof-theoretic Perspective (Q4903721)
From MaRDI portal
scientific article; zbMATH DE number 6128573
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intersection Types from a Proof-theoretic Perspective |
scientific article; zbMATH DE number 6128573 |
Statements
Intersection Types from a Proof-theoretic Perspective (English)
0 references
24 January 2013
0 references
intersection types
0 references
\(\lambda \)-calculus
0 references
type assignment systems
0 references
structural proof-theory
0 references
