Sign in

The Zoo of Lambda-Calculus Reduction Strategies, And Coq.

Malgorzata BiernackaWitold CharatonikTomasz Drab
Published in: ITP (2022)
Keyphrases
  • lambda calculus
  • predicate calculus
  • programming language
  • database
  • theorem prover
  • database query languages