Pawel Waszkiewicz

Publication Activity (10 Years)

Years Active: 2001-2011
Publications (10 Years): 0

Publications

Mateusz Kostanek, Pawel Waszkiewicz
The formal ball model for -categories. Math. Struct. Comput. Sci. 21 (1) (2011)
Pawel Waszkiewicz
Common Patterns for Metric and Ordered Fixed Point Theorems. FICS (2010)
Dirk Hofmann, Pawel Waszkiewicz
Approximation in quantale-enriched categories CoRR (2010)
Mateusz Kostanek, Pawel Waszkiewicz
The limit-colimit coincidence theorem for -categories. Math. Struct. Comput. Sci. 20 (2) (2010)
Pawel Waszkiewicz
On Domain Theory over Girard Quantales. Fundam. Informaticae 92 (1-2) (2009)
Pawel Waszkiewicz
Partial metrisability of continuous posets. Math. Struct. Comput. Sci. 16 (2) (2006)
Pawel Waszkiewicz
Approximation Simply Characterized. Electron. Notes Theor. Comput. Sci. 140 (2005)
Pawel Waszkiewicz
Completeness and Compactness of Quantitative Domains. FCT (2005)
Pawel Waszkiewicz
How Do Domains Model Topologies? MFPS (2003)
Pawel Waszkiewicz
Quantitative Continuous Domains. Appl. Categorical Struct. 11 (1) (2003)
Pawel Waszkiewicz
Distance and Measurement in Domain Theory. MFPS (2001)