Pierre Lescanne

Identifiers

No identifiers captured yet.

Papers (2)

1. Combinatorics of explicit substitutions cs.LO · 2018 · author #2
2. Combinatorics of $\lambda$-terms: a natural approach cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Maciej Bendkowski 2 shared papers
• Katarzyna Grygiel 1 shared papers
• Marek Zaionc 1 shared papers