Searching for "Intersection Typed lambda-calculus." – sorted by Relevance.
-
Intersection Typed λ-calculus
- ://www.elsevier.nl/locate/entcs/volume70.html 19 pages Abstract Intersection Typed λ-calculus Simona Ronchi Della Rocca 1
- Cited by 1 (0 self) – Add To MetaCart
-
Intersection types for light affine lambda calculus
- Intersection Types for Light Affine Lambda Calculus Daniel de Carvalho 1 ,2 Institut de
- Cited by 2 (1 self) – Add To MetaCart
-
unknown title
- Strict Intersection Types for the Lambda Calculus STEFFEN VAN BAKELDepartment of Computing
- Add To MetaCart
-
Execution time of lambda-terms via non uniform semantics and intersection types. Research report
- for the type free Lambda Calculus. This one is built on non-idempotent intersection types. We give a principal
- Cited by 2 (1 self) – Add To MetaCart
-
unknown title
- Strict Intersection Types for the Lambda Calculus STEFFEN VAN BAKELDepartment of Computing
- Add To MetaCart
-
Completeness and Partial Soundness Results forIntersection & Union Typing for
- an intersection or within a union. Remark 3.3 As was the case for intersection types for the Lambda Calculus
- Add To MetaCart
-
Strongly Normalising Cut-Elimination with Strict Intersection Types
- intersection types. Key words: intersection types, lambda calculus, termination, cut-elimination. Introduction
- Cited by 2 (2 self) – Add To MetaCart

