Fernando C. N. Pereira Semantic Interpretation as Higher-Order Deduction. 78-96 1990 conf/jelia/1990 JELIA db/conf/jelia/jelia90.html#Pereira90 http://dx.doi.org/10.1007/BFb0018435