Counting and generating terms in the binary lambda calculus - Archive ouverte HAL Access content directly
Journal Articles Journal of Functional Programming Year : 2015

Counting and generating terms in the binary lambda calculus

(1) , (2)
1
2

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

Altmetric

Share

Gmail Facebook Twitter LinkedIn More