A Semantics for Lambda&-early: A Calculus with Overloading and Early Binding.

Giuseppe Castagna Giorgio Ghelli Giuseppe Longo

Published in: TLCA (1993)

Keyphrases

formal semantics
data sets
fixed point
databases
neural network
machine learning
case study
expert systems
description logics
algebraic structure