Deriving Distributive Laws for Graded Linear Types.

Jack Hughes Michael Vollmer Dominic Orchard

Published in: CoRR (2021)

Keyphrases

least squares
real time
face recognition
wide range
linear systems
real world
data mining
multimedia
website
three dimensional
piecewise linear
linear complexity