Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
1707.02466
Cited By
v1
v2
v3 (latest)
Recalling a Witness: Foundations and Applications of Monotonic State
8 July 2017
Danel Ahman
Cédric Fournet
Cătălin Hriţcu
K. Maillard
Aseem Rastogi
Nikhil Swamy
OffRL
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Recalling a Witness: Foundations and Applications of Monotonic State"
Title
No papers
