Login / Signup

A Lambda Calculus with Forms.

Markus Lumpe
Published in: SC@ETAPS (2005)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • higher order
  • database query languages
  • database
  • data management
  • normal form