Login / Signup

Static typing for a substructural lambda calculus.

Baojian Hua
Published in: Frontiers Comput. Sci. China (2011)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding