Deep-Inference Intersection Types
Authors: Joseph Paulus and Willem Heijltjes
Paper Information
| Title: | Deep-Inference Intersection Types |
| Authors: | Joseph Paulus and Willem Heijltjes |
| Proceedings: | TYDI-0 Abstracts |
| Editor: | Lutz Straßburger |
| Keywords: | deep inference, lambda-calculus, intersection types |
| Abstract: | ABSTRACT. We explore the formulation of non-idempotent intersection types for the lambda-calculus in deep-inference using the open-deduction formalism. |
| Pages: | 3 |
| Talk: | Jul 07 10:00 (Session 23N: switch) |
| Paper: |  |