Login / Signup

Alpha-Structural Induction and Recursion for the Lambda Calculus in Constructive Type Theory.

Ernesto CopelloAlvaro TasistroNora SzaszAna BoveMaribel Fernández
Published in: LSFA (2015)
Keyphrases
  • lambda calculus
  • programming language
  • complex objects
  • database query languages
  • predicate calculus
  • database
  • artificial intelligence