Combinatorics of $\lambda$-terms: a natural approach-Reference-Cited by-同舟云学术

Combinatorics of $\lambda$-terms: a natural approach

Published:2017-06-12 Issue:8 Volume:27 Page:2611-2630
ISSN:0955-792X
Container-title:Journal of Logic and Computation
language:en
Short-container-title:

Author:

Bendkowski Maciej¹,Grygiel Katarzyna¹,Lescanne Pierre²,Zaionc Marek³

Affiliation:

1. Jagiellonian University, Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, ul. Prof. Łojasiewicza 6, 30–348 Kraków, Poland E-mail: bendkowski@tcs.uj.edu.pl; grygiel@tcs.uj.edu.pl

2. University of Lyon, École normale supérieure de Lyon, LIP (UMR 5668 CNRS ENS Lyon UCBL INRIA) 46 allée d’Italie, 69364 Lyon, France. E-mail: pierre.lescanne@ens-lyon.fr

3. Jagiellonian University, Faculty of Mathematics and Computer Science, Theoretical Computer Science Department, ul. Prof. Łojasiewicza 6, 30–348 Kraków, Poland. E-mail: zaionc@tcs.uj.edu.pl

Funder

Polish National Science Center

Publisher

Oxford University Press (OUP)

Subject

Logic,Hardware and Architecture,Arts and Humanities (miscellaneous),Software,Theoretical Computer Science

Link

http://academic.oup.com/logcom/article-pdf/27/8/2611/22301386/exx018.pdf

Reference20 articles.

1. Exact-size sampling for Motzkin trees in linear time via Boltzmann samplers and holonomic specification;Bacher,2013

2. A natural counting of lambda terms;Bendkowski,2016

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Tuning as convex optimisation: a polynomial tuner for multi-parametric combinatorial samplers;Combinatorics, Probability and Computing;2021-12-15

2. A note on the asymptotic expressiveness of ZF and ZFC;Journal of Logic and Computation;2021-06-21

3. Analytic Combinatorics of Lattice Paths with Forbidden Patterns, the Vectorial Kernel Method, and Generating Functions for Pushdown Automata;Algorithmica;2019-10-13

4. ON THE ENUMERATION OF CLOSURES AND ENVIRONMENTS WITH AN APPLICATION TO RANDOM GENERATION;LOG METH COMPUT SCI;2019

5. Combinatorics of Explicit Substitutions;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03