Resource-Aware Session Types for Digital Contracts.

Ankush Das Stephanie Balzer Jan Hoffmann Frank Pfenning

Published in: CoRR (2019)

Keyphrases

databases
neural network
computer vision
three dimensional
artificial neural networks
special case
supply chain
digital media