Dependent Types for a Nominal Logical Framework (2012)

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