activity
20142026
most citedClassical Control, Quantum Circuits and Linear Logic in Enriched Category Theory

18 citations · 71 across the 11 of their papers we have counts for

collaborators
Showing 2016Show all

1 paper · 1 filter

cs.LO2016★ 2 cited

Convexity and Order in Probabilistic Call-by-Name FPC

Mathys Rennela

Kegelspitzen are mathematical structures coined by Keimel and Plotkin, in order to encompass the structure of a convex set and the structure of a dcpo. In this paper, we ask oursel…