The Category of Constraint Systems is Cartesian-Closed (1992)

by V Saraswat
Venue:In Logic In Computer Science