Login / Signup

Big trees in a lambda - calculus with lambda - expressions as types.

Roel C. de Vrijer
Published in: Lambda-Calculus and Computer Science Theory (1975)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • higher order
  • database
  • general purpose
  • database applications
  • complex objects
  • formal model