Semantic interpretat.ion as higher-order deduction (1990)

by Fernando C N Pereira
Venue:In Proceedz~lgs of the Second European Workshop on Logzcs and AI