Similar Items: Equivalence of eval-readback and eval-apply big-step evaluators by structuring the lambda-calculus's strategy space
- Reasonable Space for the ${lambda}$-Calculus, Logarithmically
- FlowEval: Reference-based Evaluation of Generated User Interfaces
- The Safe Lambda Calculus
- Ordered Models of the Lambda Calculus
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus
- SimEval-IR: A Unified Toolkit and Benchmark Suite for Evaluating User Simulators and Search Sessions