From signatures to monads in UniMath.

Benedikt Ahrens Ralph Matthes Anders Mörtberg

Published in: CoRR (2016)

Keyphrases

signature verification
video sequences
signature recognition
databases
artificial intelligence
decision making
bayesian networks
data structure
natural language
management system
information retrieval systems
signature scheme