Katarzyna Grygiel

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

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 Journal Of Logic And Computation	2018-11-20	Paper
Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers Theory and Practice of Logic Programming	2018-02-20	Paper
On the likelihood of normalization in combinatory logic Journal Of Logic And Computation	2018-02-13	Paper
Counting and generating terms in the binary lambda calculus Journal of Functional Programming	2017-10-23	Paper
A natural counting of lambda terms Lecture Notes in Computer Science	2016-03-10	Paper
Counting terms in the binary lambda calculus	2016-03-01	Paper
Asymptotic properties of combinatory logic Lecture Notes in Computer Science	2015-09-30	Paper
A note on blocks of skeleton tolerances. Acta Mathematica Hungarica	2014-08-14	Paper
Counting and generating lambda terms Journal of Functional Programming	2014-02-27	Paper
How big is BCI fragment of BCK logic Journal Of Logic And Computation	2013-06-27	Paper
Distributive lattices determined by weighted double skeletons Algebra Universalis	2013-06-21	Paper
Asymptotically almost all \lambda-terms are strongly normalizing Logical Methods in Computer Science	2013-04-09	Paper

Research outcomes over time

This page was built for person: Katarzyna Grygiel