Login / Signup

Towards the Average-Case Analysis of Substitution Resolution in Lambda-Calculus.

Maciej Bendkowski
Published in: FSCD (2019)
Keyphrases
  • average case
  • worst case
  • lambda calculus
  • worst case analysis
  • active learning
  • uniform distribution