DMCA

Dependent Types for Nominal Terms with Atom Substitutions

Cached

Download Links

by Elliot Fairweather , Maribel Fernández , Nora Szasz , Alvaro Tasistro