TY  - RPRT
TI  - DEMONIC programming: a computational language for single-particle equilibrium thermodynamics, and its formal semantics
AU  - Samson Abramsky
AU  - Dominic Horsman
PY  - 2015
DO  - 10.4204/eptcs.195.1
UR  - https://arxiv.org/abs/1511.01566
ID  - 1511.01566
ER  -