Article Dans Une Revue
ACM Transactions on Computational Logic
Année : 2018
Pierre Lescanne : Connectez-vous pour contacter le contributeur
https://ens-lyon.hal.science/ensl-01892358
Soumis le : mercredi 10 octobre 2018-15:29:28
Dernière modification le : lundi 22 avril 2024-10:09:14
Dates et versions
Identifiants
- HAL Id : ensl-01892358 , version 1
- ARXIV : 1702.03085
- DOI : 10.1145/3173547
Citer
Pierre Lescanne. Quantitative Aspects of Linear and Affine Closed Lambda Terms. ACM Transactions on Computational Logic, 2018, 19 (2), pp.1 - 18. ⟨10.1145/3173547⟩. ⟨ensl-01892358⟩
57
Consultations
0
Téléchargements