Login / Signup

Application of Typed Lambda Calculi in the Untyped Lambda Calculus.

Silvia Ghilezan
Published in: LFCS (1994)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • complex objects
  • database query languages
  • database systems