Zobrazeno 1 - 10
of 44
pro vyhledávání: '"Atzemoglou, A."'
Autor:
Atzemoglou, Philip
Publikováno v:
EPTCS 172, 2014, pp. 217-235
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of
Externí odkaz:
http://arxiv.org/abs/1406.1633
Autor:
Atzemoglou, Philip
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus for dagger
Externí odkaz:
http://arxiv.org/abs/1311.6563
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Christodoulou, Maria Veatriki, Petkou, Ermioni, Atzemoglou, Natalia, Gkorla, Eleni, Karamitrou, Aikaterini, Simos, Yannis V., Bellos, Stefanos, Bekiari, Chryssa, Kouklis, Panos, Konitsiotis, Spyridon, Vezyraki, Patra, Peschos, Dimitrios, Tsamis, Konstantinos I.
Publikováno v:
Human Cell; Jan2024, Vol. 37 Issue 1, p9-53, 45p
Autor:
Philip Atzemoglou
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 172, Iss Proc. QPL 2014, Pp 217-235 (2014)
We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of
Externí odkaz:
https://doaj.org/article/0543af74fa844cdbad3fe767f98ace77
Publikováno v:
In Physics and Chemistry of the Earth 2002 27(25):1289-1297
Autor:
Atzemoglou, GP
This thesis studies the categorical formalisation of quantum computing, through the prism of type theory, in a three-tier process. The first stage of our investigation involves the creation of the dagger lambda calculus, a lambda calculus for dagger
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od______1064::bf71d1749b1d1ea0feff5dc221f17ea0
https://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f
https://ora.ox.ac.uk/objects/uuid:9fdc4a26-cce3-48ed-bbab-d54c4917688f
Autor:
A. Atzemoglou, Panagiotis Tsourlos
Publikováno v:
Journal of Geophysics and Engineering. 9:50-59
A large-scale vertical electrical sounding (VES) survey was applied at the basin of Sarantaporon, Elassona in order to study the tectonic and hydrogeological setting of the area. A large number of VES was obtained on a near-regular grid and data were
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::3b0858d12a7c49b3630d58baf0e15a6e
https://doi.org/10.1088/1742-2132/9/1/006
https://doi.org/10.1088/1742-2132/9/1/006
Publikováno v:
Physics and Chemistry of the Earth, Parts A/B/C. 27:1289-1297
The present study focuses on some of the Tertiary granitoids of the Rhodope Massif, Northern Greece, namely the Early Miocene plutons of Symvolon, W. Vrondou and the Oligocene Xanthi pluton. Their low-field anisotropy of magnetic susceptibility (AMS)
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f03594134cfabf799b10343ab666de6f
https://doi.org/10.1016/s1474-7065(02)00115-8
https://doi.org/10.1016/s1474-7065(02)00115-8