The abstract variable-binding calculus.

Don Pigozzi Antonino Salibra

Published in: Stud Logica (1995)

Keyphrases

high level
higher level
formal language
real time
neural network
real world
image sequences
algebraic structure