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

by M Fiore
Venue:In LICS’08