www.elsevier.com/locate/entcs A Logical Framework with Explicit Conversions

Cached


by Herman Geuvers , Freek Wiedijk