Category-based Semantics for Equational and Constraint Logic Programming (1994)

by Razvan Diaconescu
Citations:25 - 10 self