Sign in

Polynomial Time in the Parametric Lambda Calculus.

Brian F. Redmond
Published in: TLCA (2015)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • higher order
  • program understanding
  • databases
  • complex objects
  • data structure
  • expert systems
  • conceptual model
  • predicate logic