13 citations · 54 across the 30 of their papers we have counts for
Showing 2012Show all
2 papers · 1 filter
cs.LO2012
Counting and generating lambda terms
Katarzyna Grygiel, Pierre Lescanne
Lambda calculus is the basis of functional programming and higher order proof assistants. However, little is known about combinatorial properties of lambda terms, in particular, ab…
cs.LO2012★ 1 cited
Computational interpretation of classical logic with explicit structural rules
Silvia Ghilezan, Pierre Lescanne, Dragisa Zunic
We present a calculus providing a Curry-Howard correspondence to classical logic represented in the sequent calculus with explicit structural rules, namely weakening and contractio…