13 citations · 54 across the 30 of their papers we have counts for
Showing 2014Show all
3 papers · 1 filter
cs.LO2014
Resource control and intersection types: an intrinsic connection
S. Ghilezan, J. Ivetic, P. Lescanne +1
In this paper we investigate the -calculus, a -calculus enriched with resource control. Explicit control of resources is enabled by the presence of erasure and duplication o…
cs.DS2014★ 6 cited
Boltzmann samplers for random generation of lambda terms
Pierre Lescanne
Randomly generating structured objects is important in testing and optimizing functional programs, whereas generating random -terms is more specifically needed for testing and…
cs.LO2014
Counting Terms in the Binary Lambda Calculus
Katarzyna Grygiel, Pierre Lescanne
In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study…