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 <>
Submitted on : Friday, October 5, 2012 - 12:05:33 PM
Last modification on : Monday, November 24, 2014 - 10:38:04 AM
