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

Cached

Download Links

by Razvan Diaconescu
Citations:24 - 10 self

Document Versions

Category-based Semantics for Equational and Constraint Logic Programming –Razvan Diaconescu — 1994