Login / Signup

(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.

Mario CoppoMariangiola Dezani-CiancagliniSimona Ronchi Della Rocca
Published in: ICALP (1978)
Keyphrases
  • finite sets
  • lambda calculus
  • databases
  • co occurrence
  • database
  • learning algorithm
  • data points
  • logic programming