Dependent Types for a Nominal Logical Framework (2012)

Cached

Download Links

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