Searching for "Semantic Interpretation as Higher-Order Deduction." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Dual M-Sets: The Theoretical Framework and Applications
by Shen-Tzay Huang — 1994
… Mathematik, 27(3):215--224, 1981. 109 [Per91] Fernando C. N. Pereira. "Semantic Interpretation as higher-order…
Add To MetaCart

Constraint Logic Programming: A Bibliography
by Spiro Michaylov, R. Overbeek, Logic Programming Proceedings, Yap Hoc, Chuan Restriction, Koichi Furukawa, Joseph C. Tobias, Ii. Knowledge — 1992
… Technical Journal, 7(3):537--545, May 1991. [237] Fernando C. N. Pereira. Semantic interpretation as higher-order…
Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB