Skip to content

A Sequent Calculus for Counterfactual Reasoning.

McKenna McCall, Lay Kuan Loh, Limin Jia

VenueA*CCS
Year2017
ProceedingsPLAS@CCS

Browse the full CCS paper archive.