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

Document Versions

A Step Towards the Mechanization of Partial Functions: Domains as Inductive Predicates –Catherine Dubois, Véronique Viguié Donzeau-Gouge — 1998