Second-order and dependently-sorted abstract syntax (2008)

by M P Fiore
Venue:In LICS 2008