Combinatorics of lambda-terms: a natural approach

Pierre Lescanne; Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc

Combinatorics of lambda-terms: a natural approach

Pierre Lescanne ¹ Maciej Bendkowski ² Katarzyna Grygiel ² Marek Zaionc ²

1 LIP - Laboratoire de l'Informatique du Parallélisme

2 TCS - Theoretical Computer Science Department [Krakow]

Document type :

Journal articles

Domain :

Computer Science [cs] / Logic in Computer Science [cs.LO]

Mathematics [math] / Combinatorics [math.CO]

Mathematics [math] / Logic [math.LO]

Complete list of metadatas

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892425
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 3:58:54 PM
Last modification on : Friday, February 8, 2019 - 10:43:37 AM

Combinatorics of lambda-terms: a natural approach

Identifiers

Collections

Citation

Export

Metrics

27

Contact

Combinatorics of lambda-terms: a natural approach

Identifiers

Collections

Citation

Export

Share

Metrics

27

Contact