Parallel and Serial Hypercoherences (1995)

by Thomas Ehrhard
Venue:Theoretical Computer Science, North-Holland