Counting and generating terms in the binary lambda calculus - ENS de Lyon - École normale supérieure de Lyon Accéder directement au contenu
Article Dans Une Revue Journal of Functional Programming Année : 2015

Counting and generating terms in the binary lambda calculus

Katarzyna Grygiel
  • Fonction : Auteur
  • PersonId : 859238
Theoretical Computer Science Department [Krakow]
Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

Domaines

Logique en informatique [cs.LO] Combinatoire [math.CO] Logique [math.LO]

Pierre Lescanne  : Connectez-vous pour contacter le contributeur

https://ens-lyon.hal.science/ensl-01892455

Soumis le : mercredi 10 octobre 2018-16:15:24

Dernière modification le : lundi 22 avril 2024-16:49:25

Consulter le texte intégral

Dates et versions

ensl-01892455 , version 1 (10-10-2018)

Identifiants

Citer

Katarzyna Grygiel, Pierre Lescanne. Counting and generating terms in the binary lambda calculus. Journal of Functional Programming, 2015, 25, ⟨10.1017/S0956796815000271⟩. ⟨ensl-01892455⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 LIP_PLUME UDL
70 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More