Linear realizability and full completeness for typed lambda-calculi.

Samson Abramsky Marina Lenisa

Published in: Ann. Pure Appl. Log. (2005)

Keyphrases

lambda calculus
data quality
closed form
data structure
least squares
piecewise linear
transfer function