Linearity and the pi-calculus.

Naoki Kobayashi Benjamin C. Pierce David N. Turner

Published in: ACM Trans. Program. Lang. Syst. (1999)

Keyphrases

computer algebra
clustering algorithm
higher order
data sets
databases
neural network
information systems
real numbers
automated deduction
provably correct