Katarzyna Grygiel

Available identifiers

zbMath Open grygiel.katarzynaMaRDI QIDQ2376303

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5074776	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
https://portal.mardi4nfdi.de/entity/Q2789550	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Katarzyna Grygiel