Login / Signup
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