Reduction monads and their signatures.

Benedikt Ahrens André Hirschowitz Ambroise Lafont Marco Maggesi

Published in: Proc. ACM Program. Lang. (2020)

Keyphrases

reduction method
real world
face recognition
multi agent
signature verification
database