Sciweavers

194 search results - page 19 / 39
» An Introduction to the Lambda Calculus
Sort
View
60
Voted
LICS
1987
IEEE
15 years 1 months ago
Kripke-Style models for typed lambda calculus
John C. Mitchell, Eugenio Moggi
ACL
2007
14 years 11 months ago
Learning Synchronous Grammars for Semantic Parsing with Lambda Calculus
This paper presents the first empirical results to our knowledge on learning synchronous grammars that generate logical forms. Using statistical machine translation techniques, a...
Yuk Wah Wong, Raymond J. Mooney
57
Voted
SLP
1993
91views more  SLP 1993»
14 years 11 months ago
Unification in a Lambda-Calculus with Intersection Types
Michael Kohlhase, Frank Pfenning