Parallel and serial hypercoherences (2000)

by T Ehrhard
Venue:Theoretical Computer Science