FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
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: