A Step Towards the Mechanization of Partial Functions: Domains as Inductive Predicates (1998)

Cached

Download Links

by Catherine Dubois , Véronique Viguié Donzeau-Gouge
Citations:8 - 1 self