Observationally-induced Effects in Cartesian Closed Categories

Ingo Battenfeld. Observationally-induced Effects in Cartesian Closed Categories. Electronic Notes in Theoretical Computer Science, 286:43-56, 2012. [doi]

Abstract

Abstract is missing.