Rene David, Katarzyna Grygiel, Jakub Kozik, Christophe Raffalli, Guillaume Theyssier, , Marek Zaionc, Asymptotically almost all λ-terms are strongly normalizing, Logical Methods in Computer Science 9 (1:02) (2013), 1-30
Marek Zaionc, Probability distribution for simple tautologies, Theoretical Computer Science 355 (2006), 243-260
Marek Zaionc, Lambda definability on free algebras, Annals of Pure and Applied Logic 51 (1992), 279-300
Marek Zaionc, A Characterization of Lambda Definable Tree Operations, Information and Computation 89 (1990), 35-46
Marek Zaionc, Word Operations Definable in the Typed lambda Calculus, Theoretical Computer Science 52 (1987), 1-14

Zofia Kostrzycka, Marek Zaionc, Fuzzy Logics - quantitatively, Journal of Applied Non-Classical Logics 34 (2024), 97-132
Zofia Kostrzycka, Marek Zaionc, Quantitative Study of Fuzzy Logics, 2020 Ieee International Conference On Fuzzy Systems (fuzz-ieee) 2020 Ieee International Conference On Fuzzy Systems (fuzz-ieee) (2020), 1-8
Marek Zaionc, Neininger Ralph, Hwang, Hsien-Kuei, Preface, Combinatorics Probability and Computing 28(4) (2019), 483-484
Aleksander Byrski, Kevin Hammond, John Hughes, Wojciech Turek, Marek Zaionc, Foreword to the Special Issue on Parallel and Distributed Computing based on The Functional Programming Paradigm, Concurrency Computation Practice and Experience (2018), 4
Marek Zaionc, Asymptotic density in logic and computability, Proceedings of the Tenth Workshop On Information Theoretic Methods in Science and Engineering, Paris, France, September 11-13, 2017 Publication series B, Report B-2017-3 (Editors: Jacquet Philippe, Leppä-Aho Janne, Roos Teemu (2017), 43

asymptotic probability in logic, computability theory, computational logic, typed lambda calculus, lambda definability, functional programming.

Marek Zaionc

stopień/tytuł profesor doktor habilitowany stanowisko

badawczo-dydaktyczne, profesor

jednostka

ORCID

kontakt

marek.zaionc@uj.edu.pl

www

Wydział Matematyki i Informatyki