Combinatorics of lambda-terms: a natural approach

Pierre Lescanne (1) , Maciej Bendkowski (2) , Katarzyna Grygiel (2) , Marek Zaionc (2)

1 LIP - Laboratoire de l'Informatique du Parallélisme
2 TCS - Theoretical Computer Science Department [Krakow]

Domains: Computer Science [cs]; Logic in Computer Science [cs.LO]; Mathematics [math]; Combinatorics [math.CO]; Mathematics [math]; Logic [math.LO]

Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. Combinatorics of lambda-terms: a natural approach. J. Log. Comput., 2017. ⟨ensl-01892425⟩