The Set of Unifiers in Typed Lambda-Calculus as Regular Expression. - Marek Zaionc (RTA, 1985)

Word Operation Definable in the Typed lambda-Calculus. - Marek Zaionc (Theor. Comput. Sci., 1987)

On the "lambda"-definable tree operations. - Marek Zaionc (Algebraic Logic and Universal Algebra in Computer Science, 1988)

Mechanical Procedure for Proof Construction via Closed Terms in Typed lambda Calculus. - Marek Zaionc (J. Autom. Reason., 1988)

How to Define Functionals of Free Structures in Typed Lambda Calculus. - Marek Zaionc (MFCS, 1989)

A Characterisation of Lambda Definable Tree Operations - Marek Zaionc (Inf. Comput., 1990)

lambda-Definability on Free Algebras. - Marek Zaionc (Ann. Pure Appl. Log., 1991)

Lambda Representation of Operations Between Fifferent Term Algebras. - Marek Zaionc (CSL, 1994)

Schwichtenberg-Style Lambda Definability Is Undecidable. - Jan Malolepszy; Malgorzata Moczurad; Marek Zaionc (TLCA, 1997)

Statistical properties of simple types. - Malgorzata Moczurad; Jerzy Tyszkiewicz; Marek Zaionc (Math. Struct. Comput. Sci., 2000)

Statistics of implicational logic. - Marek Zaionc (WoLLIC, 2003)

Preface. - Pierre Lescanne; René David; Marek Zaionc (CLA, 2004)

Probabilistic Approach to the Lambda Definability for Fourth Order Types. - Marek Zaionc (CLA, 2004)

Statistics of Intuitionistic versus Classical Logics. - Zofia Kostrzycka; Marek Zaionc (Stud Logica, 2004)

On the Asymptotic Density of Tautologies in Logic of Implication and Negation. - Marek Zaionc (Reports Math. Log., 2005)

Probability distribution for simple tautologies. - Marek Zaionc (Theor. Comput. Sci., 2006)

Classical and Intuitionistic Logic Are Asymptotically Identical. - Hervé Fournier; Danièle Gardy; Antoine Genitrini; Marek Zaionc (CSL, 2007)

Intuitionistic vs. Classical Tautologies, Quantitative Comparison. - Antoine Genitrini; Jakub Kozik; Marek Zaionc (TYPES, 2007)

Asymptotic Densities in Logic and Type Theory. - Zofia Kostrzycka; Marek Zaionc (Stud Logica, 2008)

Counting proofs in propositional logic. - René David; Marek Zaionc (Arch. Math. Log., 2009)

Some properties of random lambda terms - René David; Christophe Raffalli; Guillaume Theyssier; Katarzyna Grygiel; Jakub Kozik; Marek Zaionc (Log. Methods Comput. Sci., 2009)

Tautologies over implication with negative literals. - Hervé Fournier; Danièle Gardy; Antoine Genitrini; Marek Zaionc (Math. Log. Q., 2010)

How big is BCI fragment of BCK logic. - Katarzyna Grygiel; Pawel M. Idziak; Marek Zaionc (J. Log. Comput., 2013)

Asymptotic Properties of Combinatory Logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (TAMC, 2015)

A Natural Counting of Lambda Terms. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (SOFSEM, 2016)

Combinatorics of λ-terms: a natural approach. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (CoRR, 2016)

On the likelihood of normalisation in combinatory logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (CoRR, 2016)

Combinatorics of $$ lambda$$-terms: a natural approach. - Maciej Bendkowski; Katarzyna Grygiel; Pierre Lescanne; Marek Zaionc (J. Log. Comput., 2017)

On the likelihood of normalization in combinatory logic. - Maciej Bendkowski; Katarzyna Grygiel; Marek Zaionc (J. Log. Comput., 2017)

Special issue on Parallel and distributed computing based on the functional programming paradigm. - Wojciech Turek; Aleksander Byrski; John Hughes 001; Kevin Hammond; Marek Zaionc (Concurr. Comput. Pract. Exp., 2018)

Preface. - Hsien-Kuei Hwang; Ralph Neininger; Marek Zaionc (Comb. Probab. Comput., 2019)

Quantitative Study of Fuzzy Logics. - Zofia Kostrzycka; Marek Zaionc (FUZZ-IEEE, 2020)

Fuzzy logics - quantitatively. - Zofia Kostrzycka; Marek Zaionc (J. Appl. Non Class. Logics, 2024)