Login / Signup

Some Algebraic Structures in Lambda-Calculus with Inductive Types.

Sergei SolovievDavid Chemouil
Published in: TYPES (2003)
Keyphrases
  • algebraic structures
  • lambda calculus
  • inductive inference
  • programming language
  • database
  • high level
  • higher order
  • relational databases
  • source code