Login / Signup
A lambda-Calculus with Logical Features.
Andy Mück
Published in:
WLP (1993)
Keyphrases
</>
lambda calculus
programming language
knowledge representation
predicate calculus
low level
co occurrence
general purpose
higher order
semantic relations