Completely iterative monads in semantics of coinductive programs
<p>Some programs are not merely sets of batch instructions performed in isolation. They interact, either directly with the user, or with other threads and resources. This dissertation tackles the problem of mathematical description (denotational semantics) of the observable behaviour of such...
| 第一著者: | |
|---|---|
| その他の著者: | |
| フォーマット: | 学位論文 |
| 言語: | English |
| 出版事項: |
2014
|
| 主題: |