TY - RPRT TI - Notions of bidirectional computation and entangled state monads AU - Faris Abou-Saleh AU - James Cheney AU - Jeremy Gibbons AU - James McKinna AU - Perdita Stevens PY - 2015 DO - 10.1007/978-3-319-19797-5_9 UR - https://arxiv.org/abs/1505.02579 ID - 1505.02579 ER -