Journal Articles
J. Log. Comput.
Year : 2017
Pierre Lescanne : Connect in order to contact the contributor
https://ens-lyon.hal.science/ensl-01892425
Submitted on : Wednesday, October 10, 2018-3:58:54 PM
Last modification on : Thursday, May 11, 2023-11:56:10 AM
Dates and versions
Identifiers
- HAL Id : ensl-01892425 , version 1
Cite
Pierre Lescanne, Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc. Combinatorics of lambda-terms: a natural approach. J. Log. Comput., 2017. ⟨ensl-01892425⟩
60
View
0
Download