Login / Signup

Full Abstraction for Lambda Calculus with Resources and Convergence Testing.

Gérard BoudolCarolina Lavatelli
Published in: CAAP (1996)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • expert systems
  • software engineering
  • artificial intelligence
  • spatial data
  • first order logic
  • complex objects
  • database query languages