The lazy call-by-value Lamda-Calculus.

Lavinia Egidi Furio Honsell Simona Ronchi Della Rocca

Published in: MFCS (1991)

Keyphrases

lazy learning
automated deduction
neural network
data mining
algebraic structure
information retrieval
genetic algorithm
image sequences
expressive power
proof procedure
automated theorem proving
computer algebra
database query languages