Katarzyna Grygiel

Available identifiers

Publication	Date of Publication	Type
Unary profile of lambda terms with restricted De Bruijn indices	2022-05-10	Paper
Combinatorics of \(\lambda\)-terms: a natural approach	2018-11-20	Paper
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers	2018-02-20	Paper
On the likelihood of normalization in combinatory logic	2018-02-13	Paper
Counting and generating terms in the binary lambda calculus	2017-10-23	Paper
A natural counting of lambda terms	2016-03-10	Paper
Counting terms in the binary lambda calculus	2016-03-01	Paper
Asymptotic properties of combinatory logic	2015-09-30	Paper
A note on blocks of skeleton tolerances.	2014-08-14	Paper
Counting and generating lambda terms	2014-02-27	Paper
How big is BCI fragment of BCK logic	2013-06-27	Paper
Distributive lattices determined by weighted double skeletons	2013-06-21	Paper
Asymptotically almost all \lambda-terms are strongly normalizing	2013-04-09	Paper

This page was built for person: Katarzyna Grygiel