TY  - RPRT
TI  - Resource-Aware Session Types for Digital Contracts
AU  - Ankush Das
AU  - Stephanie Balzer
AU  - Jan Hoffmann
AU  - Frank Pfenning
AU  - Ishani Santurkar
PY  - 2019
UR  - https://arxiv.org/abs/1902.06056
ID  - 1902.06056
ER  -