Login / Signup

Near Semi-rings and Lambda Calculus.

Rick Statman
Published in: RTA-TLCA (2014)
Keyphrases
  • lambda calculus
  • programming language
  • higher order
  • predicate calculus
  • database query languages
  • high level
  • data structure
  • open source
  • program understanding
  • pairwise
  • software engineering