Login / Signup

Finite Generation and Presentation Problems for Lambda Calculus and Combinatory Logic.

Rick Statman
Published in: LFCS (2022)
Keyphrases
  • lambda calculus
  • predicate calculus
  • co occurrence
  • databases
  • high level
  • general purpose
  • data management