Article Dans Une Revue
Journal of Functional Programming
Année : 2015
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
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⟩
74
Consultations
0
Téléchargements