Relation-Sorted Algebraic Specifications with Built-in Coercers: Basic Notions and Results.

Hans-Jrg Kreowski, Zhenyu Qian

Browse the full STACS paper archive.