Searching for "Intersection Typed lambda-calculus." – sorted by Relevance.
7 documents found, showing 1 through 7.
-
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
Showing 1 through 7.
