Login / Signup

Linearity and the Pi-Calculus.

Naoki KobayashiBenjamin C. PierceDavid N. Turner
Published in: POPL (1996)
Keyphrases
  • algebraic structure
  • automated deduction
  • computer algebra
  • neural network
  • automated theorem proving
  • provably correct
  • databases
  • data mining