Marek Zaionc

Identifiers

• name variant Marek Zaionc 0.60 · backfill

Papers (5)

1. Combinatorics of $\lambda$-terms: a natural approach cs.LO · 2016 · author #4
2. On the likelihood of normalisation in combinatory logic cs.LO · 2016 · author #3
3. How big is BCI fragment of BCK logic cs.LO · 2011 · author #3
4. Counting proofs in propositional logic math.LO · 2009 · author #2
5. Asymptotically almost all \lambda-terms are strongly normalizing math.LO · 2009 · author #6

Mentions

• 1112.0643 #3 · backfill · confidence 0.70 Marek Zaionc
• 0905.2880 #2 · backfill · confidence 0.70 Marek Zaionc
• 0903.5505 #6 · backfill · confidence 0.70 Marek Zaionc

Frequent Coauthors

• Katarzyna Grygiel 4 shared papers
• Maciej Bendkowski 2 shared papers
• Ren\'e David (LAMA) 2 shared papers
• Christophe Raffalli (LAMA) 1 shared papers
• Guillaume Theyssier (LAMA) 1 shared papers
• Jakub Kozic 1 shared papers
• Pawel M. Idziak 1 shared papers
• Pierre Lescanne 1 shared papers