Continuous semantics and inside-out reductions.

Published in: Lambda-Calculus and Computer Science Theory (1975)

Keyphrases

formal semantics
logic programming
efficient computation
data sets
decision trees
multiscale
conceptual model
operational semantics
neural network
semantic information
semantic representation
active rules
update semantics