Journal Articles
ACM Transactions on Computational Logic
Year : 2018
Pierre Lescanne : Connect in order to contact the contributor
https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892358
Submitted on : Wednesday, October 10, 2018-3:29:28 PM
Last modification on : Wednesday, February 8, 2023-5:11:05 PM
Dates and versions
Identifiers
- HAL Id : ensl-01892358 , version 1
- ARXIV : 1702.03085
- DOI : 10.1145/3173547
Cite
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⟩
52
View
0
Download