scientific article
From MaRDI portal
Publication:2789550
zbMath1352.68042arXiv1401.0379MaRDI QIDQ2789550
Pierre Lescanne, Katarzyna Grygiel
Publication date: 1 March 2016
Full work available at URL: https://arxiv.org/abs/1401.0379
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Exact enumeration problems, generating functions (05A15) Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)
Related Items (3)
Asymptotic Properties of Combinatory Logic ⋮ Enumerating lambda terms by weighted length of their de Bruijn representation ⋮ On the number of unary-binary tree-like structures with restrictions on the unary height
This page was built for publication: