Login / Signup

Lambda and pi calculi, CAM and SECD machines.

Vasco Thudichum Vasconcelos
Published in: J. Funct. Program. (2005)
Keyphrases
  • database
  • databases