Sampling -normal linear -terms

DOI10.2478/PUMA-2022-0008MaRDI QIDQ5046917zbMATH OpenOpenAlexFDO

Authors Oliver Bodini, A. Singh, Noam Zeilberger

Publication date 9 November 2022

Published in Pure Mathematics and Applications (Search for Journal in Brave)

Copyright license Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International

Full work available at URL https://doi.org/10.2478/puma-2022-0008

zbMATH Keywords

cubic maplambda-calculuslinear logicrandom generation

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Asymptotic enumeration (05A16) Combinatorial identities, bijective combinatorics (05A19) Enumeration in graph theory (05C30)

Recommendations

• Quantitative Aspects of Linear and Affine Closed Lambda Terms
• Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers
• Counting and generating lambda terms
• A hiking trip through the orders of magnitude: deriving efficient generators for closed simply-typed lambda terms and normal forms
• Enumerating lambda terms by weighted length of their de Bruijn representation

This page was built for publication: Sampling \(\beta\)-normal linear \(\lambda\)-terms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5046917)