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 : mercredi 5 février 2025-09:01:42
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⟩
93
Consultations
0
Téléchargements