Typed compositional quantum computation with lenses.

Jacques Garrigue Takafumi Saikawa

Published in: CoRR (2023)

Keyphrases

quantum computation
imaging systems
higher order
lambda calculus
fixed order
three dimensional
machine learning
databases
information retrieval
multiscale
support vector
computational complexity
preprocessing
multiresolution
lens distortion