Compositional Coinduction with Sized Types.

Published in: CMCS (2016)

Keyphrases

case study
database
image processing
multimedia
high quality
lower bound
special case
query language
small sized