Category-based constraint logic (0)

by Răzvan Diaconescu
Venue:Mathematical Structures in Computer Science