| ||
1. | The formal theory of monoidal monads
JOURNAL OF PURE AND APPLIED ALGEBRA Tom 216 r. 2012, str. 1932-1942 (Artykuł) Marek Zawadowski | |
2. | The category of 3-computads is not cartesian closed
JOURNAL OF PURE AND APPLIED ALGEBRA Tom 212 r. 2008, str. 2543-2546 (Artykuł) Mihaly Makkai, Marek Zawadowski | |
3. | Duality for Simple omega-categories and Disks
Theory and Applications of Categories Tom 8 r. 2001, str. 114-243 (Artykuł) M Makkai, Marek Zawadowski | |
| ||
4. | Sheaves, games and model completions (a categorical approach to non-classical propositional logics)
Kluwer Academic Publisher, r. 2002 (Książka) S Ghilardi (Autor oryginału), Marek Zawadowski (Autor oryginału) | |
| ||
5. | Lax monoidal fibrations
w: CRM. Proceedings & Lecture Notes, str. 341-426, Amer. Math. Soc., r. 2011 (Esej lub rozdział w książce) Marek Zawadowski | |
6. | From bisimulation quantifiers to classifying toposes
w: Advances in Modal Logic, vol. III, F.Wolter, H.Wansing, M.de Rijke, M.Zakharyashev (eds.), str. 193-220, World Scientific Publisher, r. 2002 (Esej lub rozdział w książce) S Ghilardi, Marek Zawadowski |