Monadic Intersection Types, Relationally (Extended Version).

Francesco Gavazzo Riccardo Treglia Gabriele Vanoni

Published in: CoRR (2024)

Keyphrases

computer vision
metadata
image sequences
digital libraries