Distributive Semantics for Nondeterministic Typed lambda-Calculi.

Egidio Astesiano Gerardo Costa

Published in: Theor. Comput. Sci. (1984)

Keyphrases

lambda calculus
formal semantics
predicate calculus
database query languages
general theory
vague concepts
logic programming
higher order
neural network
finite state
reasoning tasks
semantic information
finite automata