Container Types Categorically (2000)

Cached

Download Links

by Paul Hoogendijk , Oege De Moor
Citations:12 - 0 self

Active Bibliography

Normal forms for binary relations – Daniel J. Dougherty, Claudio Gutiérrez - 2006
4 Inductive Datatypes with Laws and Subtyping – A Relational Model – Theodorus Sebastiaan Voermans
5 Relation algebras for reasoning about time and space – Roger D. Maddux - 1994
1 Relation algebras and their application in qualitative spatial reasoning – Ivo Düntsch, Ivo Düntsch - 2005
2 Normal forms and reduction for theories of binary relations – Dan Dougherty, et al. - 2000
6 A Relational Approach To Optimization Problems – Sharon Curtis - 1996
4 What is a Data Type? – Paul Hoogendijk, Oege De Moor - 1996
55 The Second Calculus of Binary Relations – Vaughan Pratt - 1993
51 Action Logic and Pure Induction – Vaughan Pratt - 1991
35 Dynamic Algebras as a well-behaved fragment of Relation Algebras – Vaughan Pratt - 1990
87 On Binary Constraint Problems – Peter B. Ladkin, Roger D. Maddux - 1994
15 Between Functions and Relations in Calculating Programs – Graham Muir Hutton - 1992
6 Final Dialgebras: From Categories to Allegories – Roland Backhouse, Paul Hoogendijk - 1999
84 Generic programming: An introduction – Patrik Jansson, Johan Jeuring, Lambert Meertens - 1999
3 A Roadmap of Some Two-Dimensional Logics – Vaughan Pratt - 1994
9 Chu spaces: Complementarity and Uncertainty in Rational Mechanics – Vaughan Pratt - 1994
5 Mathematics of Recursive Program Construction – Henk Doornbos, Roland Backhouse - 2001
16 A Proof System for Contact Relation Algebras – Ivo Düntsch, Ewa Orlowska
7 Some Algebras And Algorithms For Reasoning About Time And Space – Roger D. Maddux - 1990