
Bicategorical Semantics for Nondeterministic Computation
Stay, Mike, Vicary, JamieVolume:
298
Langue:
english
Journal:
Electronic Notes in Theoretical Computer Science
DOI:
10.1016/j.entcs.2013.09.022
Date:
November, 2013
Fichier:
PDF, 234 KB
english, 2013