Login / Signup

Profinite trees, through monads and the lambda-calculus.

Vincent Moreau
Published in: CoRR (2024)
Keyphrases
  • lambda calculus
  • programming language
  • predicate calculus
  • database query languages
  • program understanding
  • query language