The category of constraint systems is Cartesian-closed
- 2 January 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- p. 341-345
- https://doi.org/10.1109/lics.1992.185546
Abstract
A general definition of constraint systems utilizing Gentzen-style sequents is given. Constraint systems can be regarded as enriching the propositional Scott information systems with minimal first-order structure: the notion of variables, existential quantification, and substitution. Approximate maps that are generic in all but finitely many variables are taken as morphisms. It is shown that the resulting structure forms a category (called ConstSys). Furthermore, the structure of Scott information systems lifts smoothly to the first-order setting. In particular, it is shown that the category is Cartesian-closed, and other usual functors over Scott information systems (lifting, sums, Smyth power-domain) are also definable and recursive domain equations involving these functors can be solved.Keywords
This publication has 4 references indexed in Scilit:
- Domain theory in logical form*Annals of Pure and Applied Logic, 1991
- The semantic foundations of concurrent constraint programmingPublished by Association for Computing Machinery (ACM) ,1991
- Constraint logic programmingPublished by Association for Computing Machinery (ACM) ,1987
- Domains for denotational semanticsPublished by Springer Nature ,1982