Marek Zaionc
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
1989–2016
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2016 | SOFSEM | A Natural Counting of Lambda Terms. | Maciej Bendkowski, Katarzyna Grygiel, Pierre Lescanne, Marek Zaionc |
| 2015 | TAMC | Asymptotic Properties of Combinatory Logic. | Maciej Bendkowski, Katarzyna Grygiel, Marek Zaionc |
| 2007 | CSL | Classical and Intuitionistic Logic Are Asymptotically Identical. | Herv Fournier, Danile Gardy, Antoine Genitrini, Marek Zaionc |
| 1994 | CSL | Lambda Representation of Operations Between Fifferent Term Algebras. | Marek Zaionc |
| 1989 | MFCS | How to Define Functionals of Free Structures in Typed Lambda Calculus. | Marek Zaionc |