The Category of Constraint Systems is Cartesian-Closed

Vijay A. Saraswat

Browse the full LICS paper archive.