A Causal Logic of Events in Formalized Computational Type Theory ∗

by Mark Bickford A , Robert L. Constable B