Journal Articles
ACM Transactions on Computational Logic
Year : 2018
Pierre Lescanne : Connect in order to contact the contributor
https://ens-lyon.hal.science/ensl-01892358
Submitted on : Wednesday, October 10, 2018-3:29:28 PM
Last modification on : Thursday, May 11, 2023-11:56:10 AM
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⟩
54
View
0
Download