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

https://hal-ens-lyon.archives-ouvertes.fr/ensl-00578527
Contributor : Pierre Lescanne <>
Submitted on : Monday, August 8, 2011 - 9:58:39 AM
Last modification on : Friday, April 20, 2018 - 3:44:24 PM
Long-term archiving on : Wednesday, November 9, 2011 - 2:22:04 AM

Files

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

Identifiers

  • HAL Id : ensl-00578527, version 5
  • ARXIV : 1107.1327

Collections

Citation

Pierre Lescanne. On counting untyped lambda terms. 2011. ⟨ensl-00578527v5⟩

Share

Metrics

Record views

13

Files downloads

23