`Collaborated with:`

A.Simpson D.R.Ghica A.Jung

`Talks about:`

nondetermin (1) particular (1) diagrammat (1) preorder (1) probabl (1) general (1) circuit (1) algebra (1) semant (1) effect (1)

## Person: Aliaume Lopez

### DBLP: Lopez:Aliaume

### Contributed to:

### Wrote 2 papers:

- CSL-2017-GhicaJL #diagrams #semantics
- Diagrammatic Semantics for Digital Circuits (DRG, AJ, AL), p. 16.
- CSL-2018-LopezS #algebra #nondeterminism #probability
- Basic Operational Preorders for Algebraic Effects in General, and for Combined Probability and Nondeterminism in Particular (AL, AS), p. 17.