Intersection-types à la Church (Q2381503)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Intersection-types à la Church |
scientific article |
Statements
Intersection-types à la Church (English)
0 references
18 September 2007
0 references
Logics and intersection-types
0 references
\(\lambda\)-Calculus à la Curry and à la Church
0 references
