Semantical analysis in higher order abstract syntax (1999)

by M Hofmann
Venue:In Proceedings of LICS 99