Login / Signup

LambdaS: an implicitly parallel lambda-calculus with letrec, synchronization and side-effects.

ArvindJan-Willem MaessenRishiyur S. NikhilJoseph E. Stoy
Published in: Electron. Notes Theor. Comput. Sci. (1998)
Keyphrases
  • lambda calculus
  • predicate calculus
  • programming language
  • database query languages
  • artificial intelligence
  • higher order
  • first order logic
  • open source
  • formal model