13 citations · 54 across the 30 of their papers we have counts for
Showing 2011Show all
3 papers · 1 filter
math.LO2011★ 1 cited
Resource control and strong normalisation
Silvia Ghilezan, Jelena Ivetic, Pierre Lescanne +1
We introduce the \emph{resource control cube}, a system consisting of eight intuitionistic lambda calculi with either implicit or explicit control of resources and with either natu…
cs.GT2011★ 4 cited
Rationality and Escalation in Infinite Extensive Games
Pierre Lescanne
The aim of this of this paper is to study infinite games and to prove formally some properties in this framework. As a consequence we show that the behavior (the madness) of people…
cs.LO2011
On counting untyped lambda terms
Pierre Lescanne
We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number o…