Lambda-calculus sentence example

lambda-calculus
  • Semantic analysis or normalization by evaluation for typed lambda calculus.
    0
    0
  • The theory is a strictly smaller theory than the lambda calculus.
    0
    0
  • lambda calculus.
    0
    0