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 : Thursday, September 29, 2022-2:58:07 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⟩
51
View
0
Download