Login / Signup
Inhabitation in Typed Lambda-Calculi (A Syntactic Approach).
Pawel Urzyczyn
Published in:
TLCA (1997)
Keyphrases
</>
lambda calculus
programming language
higher order
natural language
semantic representation
syntactic semantic
syntactic analysis
neural network
fixed point
predicate calculus
data mining
knowledge base
pairwise
control system
syntactic structures
database query languages