A Categorical Approach to Realizability and Polymorphic Types.

Aurelio Carboni Peter J. Freyd Andre Scedrov

Published in: MFPS (1987)

Keyphrases

databases
artificial intelligence
real time
data mining
genetic algorithm
computer vision
multimedia
learning environment
cooperative
natural language