Login / Signup

Reducibility: A Ubiquitous Method in Lambda Calculus with Intersection Types.

Silvia GhilezanSilvia Likavec
Published in: Electron. Notes Theor. Comput. Sci. (2002)
Keyphrases
  • knn
  • distance function
  • similarity measure
  • relational databases
  • higher order
  • data management
  • lambda calculus