Login / Signup
(Semi)-separability of Finite Sets of Terms in Scott's D_infty-Models of the lambda-Calculus.
Mario Coppo
Mariangiola Dezani-Ciancaglini
Simona Ronchi Della Rocca
Published in:
ICALP (1978)
Keyphrases
</>
finite sets
lambda calculus
databases
co occurrence
database
learning algorithm
data points
logic programming