Login / Signup
Angelina Saliling
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Logical Rules
Proof Theoretic
Reasoning Engine
Intuitionistic Logic
Top Venues
CoRR
</>
Publications
</>
Noam Zilberstein
,
Angelina Saliling
,
Alexandra Silva
Outcome Separation Logic: Local Reasoning for Correctness and Incorrectness with Computational Effects.
CoRR
(2023)