Quantitative Types for the Linear Substitution Calculus.

Delia Kesner Daniel Ventura

Published in: IFIP TCS (2014)

Keyphrases

qualitative and quantitative
quantitative and qualitative
transfer function
multiple types
databases
information retrieval
least squares
closed form
constraint query languages