A Natural Counting of Lambda Terms

Pierre Lescanne; Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc

A Natural Counting of Lambda Terms

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 :

Conference papers

Domain :

Computer Science [cs] / Computer Science and Game Theory [cs.GT]

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-01892447
Contributor : Pierre Lescanne <>
Submitted on : Wednesday, October 10, 2018 - 4:11:59 PM
Last modification on : Thursday, April 11, 2019 - 5:11:42 PM

A Natural Counting of Lambda Terms

Identifiers

Collections

Citation

Export

Metrics

57

Contact

A Natural Counting of Lambda Terms

Identifiers

Collections

Citation

Export

Share

Metrics

57

Contact