Pawel Waszkiewicz

According to our database, Pawel Waszkiewicz authored at least 11 papers between 2001 and 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

The formal ball model for -categories.

Mateusz Kostanek, Pawel Waszkiewicz

Math. Struct. Comput. Sci., 2011

2010

The limit-colimit coincidence theorem for -categories.

Mateusz Kostanek, Pawel Waszkiewicz

Math. Struct. Comput. Sci., 2010

Approximation in quantale-enriched categories

Dirk Hofmann, Pawel Waszkiewicz

CoRR, 2010

Common Patterns for Metric and Ordered Fixed Point Theorems.

Pawel Waszkiewicz

Proceedings of the 7th Workshop on Fixed Points in Computer Science, 2010

2009

On Domain Theory over Girard Quantales.

Pawel Waszkiewicz

Fundam. Informaticae, 2009

2006

Partial metrisability of continuous posets.

Pawel Waszkiewicz

Math. Struct. Comput. Sci., 2006

2005

Completeness and Compactness of Quantitative Domains.

Pawel Waszkiewicz

Proceedings of the Fundamentals of Computation Theory, 15th International Symposium, 2005

2004

Approximation Simply Characterized.

Pawel Waszkiewicz

Proceedings of the Second Workshop on Computational Logic and Applications, 2004

2003

Quantitative Continuous Domains.

Pawel Waszkiewicz

Appl. Categorical Struct., 2003

How Do Domains Model Topologies?

Pawel Waszkiewicz

Proceedings of 19th Conference on the Mathematical Foundations of Programming Semantics, 2003

2001

Distance and Measurement in Domain Theory.

Pawel Waszkiewicz

Proceedings of the Seventeenth Conference on the Mathematical Foundations of Programming Semantics, 2001