Login / Signup

Linear Lambda Calculus and Deep Inference.

Luca Roversi
Published in: TLCA (2011)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • higher order
  • complex objects
  • database
  • machine learning
  • artificial intelligence
  • pairwise
  • object oriented databases