Common Patterns for Metric and Ordered Fixed Point Theorems

Pawel Waszkiewicz. Common Patterns for Metric and Ordered Fixed Point Theorems. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 83-87, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]

Abstract

Abstract is missing.