Counting and Generating Terms in the Binary Lambda Calculus (Extended version) - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Pré-Publication, Document De Travail Année : 2015

Counting and Generating Terms in the Binary Lambda Calculus (Extended version)

Résumé

In a paper entitled Binary lambda calculus and combinatory logic, John Tromp presents a simple way of encoding lambda calculus terms as binary sequences. In what follows, we study the numbers of binary strings of a given size that represent lambda terms and derive results from their generating functions, especially that the number of terms of size n grows roughly like 1.963447954. .. n. In a second part we use this approach to generate random lambda terms using Boltzmann samplers.
Fichier principal
Vignette du fichier
Grygiel_Lescanne_ArXiv.pdf (612.54 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

ensl-01229794 , version 1 (17-11-2015)

Identifiants

Citer

Katarzyna Grygiel, Pierre Lescanne. Counting and Generating Terms in the Binary Lambda Calculus (Extended version). 2015. ⟨ensl-01229794⟩
208 Consultations
288 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More