 |
 |
 |
 |
On counting untyped lambda terms
Abstract : We present several results on counting untyped lambda terms, i.e., on telling how many terms belong to such or such class, according to the size of the terms and/or to the number of free variables.
https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Friday, September 30, 2011 - 12:01:50 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM
Long-term archiving on: : Saturday, December 31, 2011 - 2:26:10 AM
Contributor : Pierre Lescanne Connect in order to contact the contributor
Submitted on : Friday, September 30, 2011 - 12:01:50 PM
Last modification on : Thursday, September 29, 2022 - 2:58:07 PM
Long-term archiving on: : Saturday, December 31, 2011 - 2:26:10 AM
Files
Lescanne_counting_lambda_terms...
Files produced by the author(s)