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
|
| विषय: |