Intersection Types for Combinatory Logic.

Mariangiola Dezani-Ciancaglini J. Roger Hindley

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

Keyphrases

logic programming
neural network
artificial neural networks
multi valued
data sets
information systems
image sequences
multiscale
control system
deontic logic