Pawel Waszkiewicz

11 papers B 3Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2011 J jnl
The formal ball model for -categories.
Math. Struct. Comput. Sci.
Mateusz Kostanek, Pawel Waszkiewicz
2010 J jnl
Approximation in quantale-enriched categories
CoRR
Dirk Hofmann, Pawel Waszkiewicz
2010 — conf
Common Patterns for Metric and Ordered Fixed Point Theorems.
FICS
Pawel Waszkiewicz
2010 J jnl
The limit-colimit coincidence theorem for -categories.
Math. Struct. Comput. Sci.
Mateusz Kostanek, Pawel Waszkiewicz
2009 J jnl
On Domain Theory over Girard Quantales.
Fundam. Informaticae
Pawel Waszkiewicz
2006 J jnl
Partial metrisability of continuous posets.
Math. Struct. Comput. Sci.
Pawel Waszkiewicz
2005 B conf
Completeness and Compactness of Quantitative Domains.
FCT
Pawel Waszkiewicz
2004 — conf
Approximation Simply Characterized.
CLA
Pawel Waszkiewicz
2003 B conf
How Do Domains Model Topologies?
MFPS
Pawel Waszkiewicz
2003 J jnl
Quantitative Continuous Domains.
Appl. Categorical Struct.
Pawel Waszkiewicz
2001 B conf
Distance and Measurement in Domain Theory.
MFPS
Pawel Waszkiewicz