7 citations · 7 across the 2 of their papers we have counts for
2 papers
cs.LO2017★ 7 cited
Monoidal computer III: A coalgebraic view of computability and complexity
Dusko Pavlovic, Muzamil Yahia
Monoidal computer is a categorical model of intensional computation, where many different programs correspond to the same input-output behavior. The upshot of yet another model of…
cs.GT2015
Testing Randomness by Matching Pennies
Dusko Pavlovic, Peter-Michael Seidel, Muzamil Yahia
In the game of Matching Pennies, Alice and Bob each hold a penny, and at every tick of the clock they simultaneously display the head or the tail sides of their coins. If they both…