Login / Signup

Formalization in Constructive Type Theory of the Standardization Theorem for the Lambda Calculus using Multiple Substitution.

Martín CopesNora SzaszÁlvaro Tasistro
Published in: LFMTP@FSCD (2018)
Keyphrases
  • lambda calculus
  • database query languages
  • formal model
  • databases
  • high level
  • programming language
  • higher order
  • predicate calculus
  • type checking