Session Types with Arithmetic Refinements.

Ankush Das Frank Pfenning

Published in: CoRR (2020)

Keyphrases

real world
medical images
databases
knowledge base
multimedia
web services
expert systems