Ishani Santurkar

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Decision Making

Top Venues

Publications

Ankush Das, Stephanie Balzer, Jan Hoffmann, Frank Pfenning, Ishani Santurkar
Resource-Aware Session Types for Digital Contracts. CSF (2021)