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.
Complete list of metadatas

Cited literature [14 references]  Display  Hide  Download

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527
Contributor : Pierre Lescanne <>
Submitted on : Friday, October 5, 2012 - 12:05:33 PM
Last modification on : Friday, April 12, 2019 - 10:18:09 AM
Long-term archiving on : Sunday, January 6, 2013 - 3:51:00 AM

Files

Lescanne_counting_lambda_terms...
Files produced by the author(s)

Identifiers

Collections

Citation

Pierre Lescanne. On counting untyped lambda terms. Theoretical Computer Science, Elsevier, 2013, 474, pp.80-97. ⟨10.1016/j.tcs.2012.11.019⟩. ⟨ensl-00578527v9⟩

Share

Metrics

Record views

280

Files downloads

358