Container Types Categorically (2000)

View PDF

Download Links

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

Active Bibliography

766 Notions of Computation and Monads – Eugenio Moggi - 1991
481 Domain Theory – Samson Abramsky, Achim Jung - 1994
457 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
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
263 Semantic foundations of concurrent constraint programming – Vijay A. Saraswat, et al. - 1990
1 Relation algebras and their application in qualitative spatial reasoning – Ivo Düntsch - 2005
93 On Binary Constraint Problems – Peter B. Ladkin, Roger D. Maddux - 1994