A cartesian closed category of event structures with quotients (0)

by S Abbes
Venue:Discrete Mathematics and Theoretical Computer Science