Article Dans Une Revue
J. Log. Comput.
Année : 2017
Pierre Lescanne : Connectez-vous pour contacter le contributeur
https://ens-lyon.hal.science/ensl-01892425
Soumis le : mercredi 10 octobre 2018-15:58:54
Dernière modification le : mardi 12 novembre 2024-15:20:06
Dates et versions
Identifiants
- HAL Id : ensl-01892425 , version 1
Citer
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. Combinatorics of lambda-terms: a natural approach. J. Log. Comput., 2017. ⟨ensl-01892425⟩
86
Consultations
0
Téléchargements