Semantic Interpretation as Higher-Order Deduction (1991)

by F C N Pereira
Venue:Logics in AI