Login / Signup
An Implementation Model of the Typed Lambda-Calculus based on Linear Chemical Abstract Machine.
Shinya Sato
Toru Sugimoto
Shinichi Yamada
Published in:
Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
</>
lambda calculus
abstract machine
higher order
conceptual model
incomplete information