Login / Signup

On Randomization of Reduction Strategies for Typeless Lambda Calculus.

Oleksandr DeinehaVolodymyr DonetsGrygoriy Zholtkevych
Published in: ICTERI (2023)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • program understanding
  • data structure
  • complex objects
  • database query languages