Statistical properties of simple types. Zbl 0966.03016
Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. |
|
2000
|
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek |
|
2013
|
Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015
Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek |
|
2007
|
Statistics of intuitionistic versus classical logics. Zbl 1049.03007
Kostrzycka, Zofia; Zaionc, Marek |
|
2004
|
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019
Zaionc, Marek |
|
2005
|
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309
Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek |
|
2008
|
A natural counting of lambda terms. Zbl 1428.68095
Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek |
|
2016
|
Combinatorics of \(\lambda\)-terms: a natural approach. Zbl 1444.03017
Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek |
|
2017
|
Word operation definable in the typed \(\lambda\)-calculus. Zbl 0638.03014
Zaionc, Marek |
|
1987
|
On the likelihood of normalization in combinatory logic. Zbl 1454.03022
Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek |
|
2017
|
The set of unifiers in typed \(\lambda\)-calculus as regular expression. Zbl 0584.03010
Zaionc, Marek |
|
1985
|
\(\lambda\)-definability of free algebras. Zbl 0727.03010
Zaionc, Marek |
|
1991
|
Probabilistic approach to the lambda definability for fourth order types. Zbl 1272.03083
Zaionc, Marek |
|
2005
|
Counting proofs in propositional logic. Zbl 1168.03005
David, René; Zaionc, Marek |
|
2009
|
Probability distribution for simple tautologies. Zbl 1090.03002
Zaionc, Marek |
|
2006
|
How big is BCI fragment of BCK logic. Zbl 1282.03012
Grygiel, Katarzyna; Idziak, Paweł M.; Zaionc, Marek |
|
2013
|
Tautologies over implication with negative literals. Zbl 1196.03012
Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek |
|
2010
|
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus. Zbl 0715.03008
Zaionc, Marek |
|
1988
|
Statistics of implicational logic. Zbl 1264.03036
Zaionc, Marek |
|
2003
|
On the \(\lambda\) definable higher order Boolean operations. Zbl 0672.03005
Zaionc, Marek |
|
1989
|
A characterization of lambda definable tree operations. Zbl 0705.68029
Zaionc, Marek |
|
1990
|
Asymptotic densities in logic and type theory. Zbl 1142.03008
Kostrzycka, Zofia; Zaionc, Marek |
|
2008
|
On the \(\lambda\)-definable tree operations. Zbl 0783.03005
Zaionc, Marek |
|
1990
|
On the density of truth in Dummett’s logic. Zbl 1032.03015
Kostrzycka, Zofia; Zaionc, Marek |
|
2003
|
Asymptotic properties of combinatory logic. Zbl 1461.03015
Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek |
|
2015
|
Lambda representation of operations between different term algebras. Zbl 1044.03512
Zaionc, Marek |
|
1995
|
The regular expression descriptions of unifier set in the typed \(\lambda\)-calculus. Zbl 0655.03007
Zaionc, Marec |
|
1987
|
Nondeterministic programs definable in typed \(\lambda\)-calculus. Zbl 0579.68022
Zaionc, Marek |
|
1985
|
Combinatorics of \(\lambda\)-terms: a natural approach. Zbl 1444.03017
Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek |
|
2017
|
On the likelihood of normalization in combinatory logic. Zbl 1454.03022
Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek |
|
2017
|
A natural counting of lambda terms. Zbl 1428.68095
Bendkowski, Maciej; Grygiel, Katarzyna; Lescanne, Pierre; Zaionc, Marek |
|
2016
|
Asymptotic properties of combinatory logic. Zbl 1461.03015
Bendkowski, Maciej; Grygiel, Katarzyna; Zaionc, Marek |
|
2015
|
Asymptotically almost all \(\lambda \)-terms are strongly normalizing. Zbl 1278.03034
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek |
|
2013
|
How big is BCI fragment of BCK logic. Zbl 1282.03012
Grygiel, Katarzyna; Idziak, Paweł M.; Zaionc, Marek |
|
2013
|
Tautologies over implication with negative literals. Zbl 1196.03012
Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek |
|
2010
|
Counting proofs in propositional logic. Zbl 1168.03005
David, René; Zaionc, Marek |
|
2009
|
Intuitionistic vs. classical tautologies, quantitative comparison. Zbl 1138.03309
Genitrini, Antoine; Kozik, Jakub; Zaionc, Marek |
|
2008
|
Asymptotic densities in logic and type theory. Zbl 1142.03008
Kostrzycka, Zofia; Zaionc, Marek |
|
2008
|
Classical and intuitionistic logic are asymptotically identical. Zbl 1179.03015
Fournier, Hervé; Gardy, Danièle; Genitrini, Antoine; Zaionc, Marek |
|
2007
|
Probability distribution for simple tautologies. Zbl 1090.03002
Zaionc, Marek |
|
2006
|
On the asymptotic density of tautologies in logic of implication and negation. Zbl 1098.03019
Zaionc, Marek |
|
2005
|
Probabilistic approach to the lambda definability for fourth order types. Zbl 1272.03083
Zaionc, Marek |
|
2005
|
Statistics of intuitionistic versus classical logics. Zbl 1049.03007
Kostrzycka, Zofia; Zaionc, Marek |
|
2004
|
Statistics of implicational logic. Zbl 1264.03036
Zaionc, Marek |
|
2003
|
On the density of truth in Dummett’s logic. Zbl 1032.03015
Kostrzycka, Zofia; Zaionc, Marek |
|
2003
|
Statistical properties of simple types. Zbl 0966.03016
Moczurad, M.; Tyszkiewicz, J.; Zaionc, M. |
|
2000
|
Lambda representation of operations between different term algebras. Zbl 1044.03512
Zaionc, Marek |
|
1995
|
\(\lambda\)-definability of free algebras. Zbl 0727.03010
Zaionc, Marek |
|
1991
|
A characterization of lambda definable tree operations. Zbl 0705.68029
Zaionc, Marek |
|
1990
|
On the \(\lambda\)-definable tree operations. Zbl 0783.03005
Zaionc, Marek |
|
1990
|
On the \(\lambda\) definable higher order Boolean operations. Zbl 0672.03005
Zaionc, Marek |
|
1989
|
Mechanical procedure for proof construction via closed terms in typed \(\lambda\) calculus. Zbl 0715.03008
Zaionc, Marek |
|
1988
|
Word operation definable in the typed \(\lambda\)-calculus. Zbl 0638.03014
Zaionc, Marek |
|
1987
|
The regular expression descriptions of unifier set in the typed \(\lambda\)-calculus. Zbl 0655.03007
Zaionc, Marec |
|
1987
|
The set of unifiers in typed \(\lambda\)-calculus as regular expression. Zbl 0584.03010
Zaionc, Marek |
|
1985
|
Nondeterministic programs definable in typed \(\lambda\)-calculus. Zbl 0579.68022
Zaionc, Marek |
|
1985
|