Combinatorics of lambda-terms: a natural approach - Archive ouverte HAL Access content directly
Journal Articles J. Log. Comput. Year : 2017

Combinatorics of lambda-terms: a natural approach

(1) , (2) , (2) , (2)
1
2
Not file

Dates and versions

ensl-01892425 , version 1 (10-10-2018)

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⟩
51 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More