Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.

An Effect-theoretic Account of Lebesgue Integration

Autor: Jacobs, B., Westerbaan, B.E., Ghica, D.R.

Publikováno v: Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, pp. 239-253
Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands, 239-253. Amsterdam : Elsevier
STARTPAGE=239;ENDPAGE=253;ISSN=1571-0661;TITLE=Ghica, D.R. (ed.), MFPS XXXI : The 31st Conference on the Mathematical Foundations of Programming Semantics, 22-25 June 2015, Nijmegen, Netherlands
MFPS

Effect algebras have been introduced in the 1990s in the study of the foundations of quantum mechanics, as part of a quantum-theoretic version of probability theory. This paper is part of that programme and gives a systematic account of Lebesgue inte

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::79af2726f5eee5e6432fa9a409bab21e
https://doi.org/10.1016/j.entcs.2015.12.015

Leaving the Nest: Nominal Techniques for Variables with Interleaving Scopes

Autor: Gabbay, M.J., Ghica, D.R., Petrisan, D.L., Kreutzer, S.

Publikováno v: Kreutzer, S. (ed.), CSL 2015 : 24th EACSL Annual Conference on Computer Science Logic, pp. 374-389
Kreutzer, S. (ed.), CSL 2015 : 24th EACSL Annual Conference on Computer Science Logic, 374-389. Dagstuhl : Schloss Dagstuhl
STARTPAGE=374;ENDPAGE=389;ISSN=1868-8969;TITLE=Kreutzer, S. (ed.), CSL 2015 : 24th EACSL Annual Conference on Computer Science Logic

We examine the key syntactic and semantic aspects of a nominal framework allowing scopes of name bindings to be arbitrarily interleaved. Name binding (e.g. delta x.M) is handled by explicit name-creation and name-destruction brackets (e.g. ) which ad

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::d6a482f0bbc08f88ce983b9b8c5958f8
https://hdl.handle.net/2066/143746

Function interface models for hardware compilation.

Autor: Ghica, D.R.

Publikováno v: 2011 9th IEEE/ACM International Conference on Formal Methods & Models for Codesign (MEMOCODE); 2011, p131-142, 12p

Clipping: A Semantics-Directed Syntactic Approximation.

Autor: Ghica, D.R., Bakewell, A.

Publikováno v: 2009 24th Annual IEEE Symposium on Logic In Computer Science; 2009, p189-198, 10p