Causal Reasoning with Contexts Using Dependent Types.

Richard Dapoigny, Patrick Barlatier

Browse the full FlAIRS paper archive.