Implicit syntax (1990)

by R Pollack
Venue:In Informal Proceedings of First Workshop on Logical Frameworks