The linear-non-linear substitution 2-monad.

Martin Hyland Christine Tasson

Published in: ACT (2020)

Keyphrases

highly non linear
wide range
linear complexity
probability distribution
closed form
website
relational databases
quadratic programming