Login / Signup

An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.

Shinya SatoToru SugimotoShinichi Yamada
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • lambda calculus
  • abstract machine
  • higher order
  • conceptual model
  • incomplete information