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...

Olles dieđut

Bibliográfalaš dieđut
Váldodahkki: Pirog, M
Eará dahkkit: Gibbons, J
Materiálatiipa: Oahppočájánas
Giella:English
Almmustuhtton: 2014
Fáttát: