Login / Signup

A Concurrent Lambda Calculus with Futures.

Joachim NiehrenJan SchwinghammerGert Smolka
Published in: FroCoS (2005)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • higher order
  • complex objects
  • database
  • co occurrence
  • open source
  • first order logic
  • predicate logic
  • program understanding