A Causal Logic of Events (2005)

by Mark Bickford, Robert Constable
Venue:in Formalized Computational Type Theory, Proc. of the Marktoberdorf NATO Summer School