Login / Signup

Normalization by Evaluation for the Computational Lambda-Calculus.

Andrzej Filinski
Published in: TLCA (2001)
Keyphrases
  • lambda calculus
  • programming language
  • database systems
  • object oriented
  • predicate calculus