Semantical analysis of higher-order abstract syntax (1999)

by M Hofmann
Venue:In 14th Symp. on Logic in Computer Science. IEEE Computer