Counting and generating terms in the binary lambda calculus - ENS de Lyon - École normale supérieure de Lyon Access content directly
Journal Articles Journal of Functional Programming Year : 2015

Dates and versions

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

Identifiers

Cite

Katarzyna Grygiel, Pierre Lescanne. Counting and generating terms in the binary lambda calculus. Journal of Functional Programming, 2015, 25, ⟨10.1017/S0956796815000271⟩. ⟨ensl-01892455⟩
70 View
0 Download

Altmetric

Share

Gmail Facebook X LinkedIn More