Communication Dans Un Congrès
Année : 2016
Pierre Lescanne : Connectez-vous pour contacter le contributeur
https://ens-lyon.hal.science/ensl-01892447
Soumis le : mercredi 10 octobre 2018-16:11:59
Dernière modification le : vendredi 5 avril 2024-09:25:53
Dates et versions
Identifiants
- HAL Id : ensl-01892447 , version 1
Citer
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. A Natural Counting of Lambda Terms. SOFSEM 2016, Jan 2016, Harrachov, Czech Republic. ⟨ensl-01892447⟩
70
Consultations
0
Téléchargements