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
Katarzyna Grygiel
  • Function : Author
  • PersonId : 859238
Theoretical Computer Science Department [Krakow]
Pierre Lescanne
Laboratoire de l'Informatique du Parallélisme
CV

Domains

Computer Science [cs] Logic in Computer Science [cs.LO] Mathematics [math] Combinatorics [math.CO] Mathematics [math] Logic [math.LO]

Pierre Lescanne  : Connect in order to contact the contributor

https://hal-ens-lyon.archives-ouvertes.fr/ensl-01892455

Submitted on : Wednesday, October 10, 2018-4:15:24 PM

Last modification on : Thursday, September 29, 2022-2:58:07 PM

Consult the full text

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⟩

Export

BibTeX TEI Dublin Core DC Terms EndNote Datacite

Collections

ENS-LYON CNRS INRIA UNIV-LYON1 INSMI LIP_PLUME UDL
68 View
0 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More