Zawadowski, Marek
Zawadowski, Marek W.
Zawadowski, Marek W., 1960-
Zawadowski, Marek W. ( -2024).
Zawadowski, Marek, 1960-....
Zawadowski, M.
VIAF ID: 70156290 ( Personal )
Permalink: http://viaf.org/viaf/70156290
Preferred Forms
- 200 _ | ‡a Zawadowski ‡b Marek W.
- 100 1 _ ‡a Zawadowski, M.
-
- 100 1 _ ‡a Zawadowski, Marek
-
-
-
-
- 100 1 _ ‡a Zawadowski, Marek
-
-
-
-
-
- 100 1 _ ‡a Zawadowski, Marek, ‡d 1960-....
4xx's: Alternate Name Forms (6)
Works
Title | Sources |
---|---|
Application of category-theory methods to the design of a system of modules for a functional programming language | |
Duality and descent. | |
Grothendieck topologies on finite algebras | |
Jednolite ujęcie algebry opetopowej | |
Lax descent theorems for left exact categories | |
Logic, algebra, and computer science : Helena Rasiowa in memoriam | |
Model completions of equational theories arising from logic | |
Opétopes : aspects syntaxiques et algébriques. | |
Scope ambiguities, monads and strengths | |
Sheaves, games, and model completions : a categorial approach to nonclassical propositional logics | |
Un théorème de la descente pour les prétopos | |
A unified approach to opetopic algebra | |
Wykorzystanie metod teorii kategorii do opracowania systemu modułów dla języka programowana funkcyjnego |