Login / Signup

Metric Reasoning About \lambda -Terms: The General Case.

Raphaëlle CrubilléUgo Dal Lago
Published in: ESOP (2017)
Keyphrases
  • closely related
  • special case
  • multiscale
  • metric space
  • co occurrence
  • lower bound
  • expert systems
  • information retrieval systems