4 citations · 7 across the 7 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016
Infinitary Intersection Types as Sequences: a New Answer to Klop's Question
Pierre Vial
We provide a type-theoretical characterization of weakly-normalizing terms in an infinitary lambda-calculus. We adapt for this purpose the standard quantitative (with non-idempoten…
cs.LO2016
Representing permutations without permutations, or the expressive power of sequence types
Pierre Vial
Recent works by Asada, Ong and Tsukada have championed a rigid description of resources. Whereas in non-rigid paradigms (e.g., standard Taylor expansion or non-idempotent intersect…