The Heart of Intersection Type Assignment
URL: https://inria.hal.science/inria-00096419
Dataset description:
This paper gives a new proof for the approximation theorem and the characterisation of normalisability using intersection types. The technique applied is to define reduction on...
There are no views created for this resource yet.
Additional Information
| Field | Value |
|---|---|
| Data last updated | unknown |
| Metadata last updated | May 5, 2026 |
| Created | unknown |
| Format | HTML |
| License | https://about.hal.science/hal-authorisation-v1/, info:eu-repo/semantics/OpenAccess |
| Created | 6 months ago |
| Id | fb52a2cd-0a03-4502-bb7b-f2720436e37a |
| Package id | oai-hal-inria-00096419v2 |
| Resource type | HTML |
| State | active |