TY  - RPRT
TI  - Resumptions, Weak Bisimilarity and Big-Step Semantics for While with Interactive I/O: An Exercise in Mixed Induction-Coinduction
AU  - Keiko Nakata
AU  - Tarmo Uustalu
PY  - 2010
DO  - 10.4204/eptcs.32.5
UR  - https://arxiv.org/abs/1008.2112
ID  - 1008.2112
ER  -