Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model

Volver a la Vista simple
dc.conicet.fuenteindividual
dc.conicet.organizacionConsejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación
dc.conicet.organizacionUniversidad Nacional de Quilmes. Departamento de Ciencia y Tecnología
dc.conicet.organizacionUniversidad de la República
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionArgentina
dc.conicet.paisOrganizacionUruguay
dc.conicet.produccionid11096821
dc.contributor.authorDíaz Caro, Alejandro
dc.contributor.authorMalherbe, Octavio
dc.date.accessioned2023-07-20T13:42:28Z
dc.date.available2023-07-20T13:42:28Z
dc.date.issued2022-09
dc.date.updated2023-07-07T22:23:18Z
dc.description.abstractIn a recent paper, a realizability technique has been used to give a semantics of a quantum lambda calculus. Such a technique gives rise to an infinite number of valid typing rules, without giving preference to any subset of those. In this paper, we introduce a valid subset of typing rules, defining an expressive enough quantum calculus. Then, we propose a categorical semantics for it. Such a semantics consists of an adjunction between the category of distributive-action spaces of value distributions (that is, linear combinations of values in the lambda calculus), and the category of sets of value distributions.es
dc.description.filFil: Díaz Caro, Alejandro. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales. Instituto de Investigación en Ciencias de la Computación; Argentina. Universidad Nacional de Quilmes. Departamento de Ciencia y Tecnología; Argentina
dc.description.filFil: Malherbe, Octavio. Universidad de la República; Uruguay
dc.formatapplication/pdfes
dc.identifier.citationDíaz Caro, Alejandro; Malherbe, Octavio; Quantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Model; Technische Universität Braunschweig; Logical Methods in Computer Science; 18; 3; 9-2022; 32:1-36es
dc.identifier.institucionalCONICET
dc.identifier.issn1860-5974es
dc.identifier.repoCONICET Digital
dc.identifier.urihttp://hdl.handle.net/11336/204623
dc.journal.ciudadBraunschweiges
dc.journal.number3es
dc.journal.pagination32:1-36es
dc.journal.paisAlemaniaes
dc.journal.titleLogical Methods in Computer Sciencees
dc.journal.volume18es
dc.language.isoenges
dc.publisherTechnische Universität Braunschweiges
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/url/https://lmcs.episciences.org/10027
dc.relation.alternativeidinfo:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.46298/LMCS-18(3:32)2022
dc.rightsinfo:eu-repo/semantics/openAccess*
dc.rights.urihttps://creativecommons.org/licenses/by/2.5/ar/*
dc.subjectCATEGORICAL SEMANTICSes
dc.subjectLAMBDA CALCULUSes
dc.subjectQUANTUM COMPUTINGes
dc.subject.classificationCiencias de la Computaciónes
dc.subject.classificationCiencias de la Computación e Informaciónes
dc.subject.classificationCIENCIAS NATURALES Y EXACTASes
dc.titleQuantum Control in the Unitary Sphere: Lambda-S1 and its Categorical Modeles
dc.typeinfo:eu-repo/semantics/article
dc.typeinfo:ar-repo/semantics/artículo
dc.typeinfo:eu-repo/semantics/publishedVersion

Archivos

Bloque original

Miniatura
Nombre:
CONICET_Digital_Nro.9909c094-c19d-4bfc-9a77-525427c914b7_B.pdf
Tamaño:
594.36 KB
Formato:
Adobe Portable Document Format
Descargar

Colecciones

Articulos(ICC)
Volver a la Vista simple