Counting and generating terms in the binary lambda calculus

Katarzyna Grygiel; Pierre Lescanne

doi:10.1017/S0956796815000271

Journal articles

Counting and generating terms in the binary lambda calculus

Katarzyna Grygiel ¹ Pierre Lescanne ²

1 TCS - Theoretical Computer Science Department [Krakow]

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

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 metadata

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892455
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Wednesday, October 10, 2018 - 4:15:24 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM

Counting and generating terms in the binary lambda calculus

Links full text

Identifiers

Collections

Citation

Export

Metrics

66

Counting and generating terms in the binary lambda calculus

Links full text

Identifiers

Collections

Citation

Export

Share

Metrics

66