Sign in

Combinatory Logic and Lambda Calculus Are Equal, Algebraically.

Thorsten AltenkirchAmbrus KaposiArtjoms SinkarovsTamás Végh
Published in: FSCD (2023)
Keyphrases
  • lambda calculus
  • predicate calculus
  • programming language
  • database query languages
  • complex objects
  • database
  • formal model
  • databases
  • higher order
  • first order logic
  • expressive power
  • relational algebra