Linearity and the Pi-Calculus.

Naoki Kobayashi Benjamin C. Pierce David N. Turner

Published in: POPL (1996)

Keyphrases

algebraic structure
automated deduction
computer algebra
neural network
automated theorem proving
provably correct
databases
data mining