Combinatorics of lambda-terms: a natural approach - ENS de Lyon - École normale supérieure de Lyon Access content directly
Journal Articles J. Log. Comput. Year : 2017
No 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⟩
61 View
0 Download

Share

Gmail Facebook X LinkedIn More