A note on confluence in typed probabilistic lambda calculi

On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quantum computation, we found a system with probabilistic rewriting rules and strongly normalizing terms. We examine the effe...

Descripción completa

Detalles Bibliográficos
Autores: Romero, Lucas Rafael, Díaz Caro, Alejandro
Tipo de recurso: artículo
Estado:Versión publicada
Fecha de publicación:2022
País:Argentina
Institución:Consejo Nacional de Investigaciones Científicas y Técnicas
Repositorio:CONICET Digital (CONICET)
Idioma:inglés
OAI Identifier:oai:ri.conicet.gov.ar:11336/204620
Acceso en línea:http://hdl.handle.net/11336/204620
Access Level:acceso abierto
Palabra clave:Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
id AR_7dbbc62d82eb24b2e6a6efc5b2419b33
oai_identifier_str oai:ri.conicet.gov.ar:11336/204620
network_acronym_str AR
network_name_str Argentina
repository_id_str
spelling A note on confluence in typed probabilistic lambda calculiRomero, Lucas RafaelDíaz Caro, AlejandroLocal confluenceSimply typed lambda calculusProbabilistic rewriting systemhttps://purl.org/becyt/ford/1.2https://purl.org/becyt/ford/1On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quantum computation, we found a system with probabilistic rewriting rules and strongly normalizing terms. We examine the effect of small modifications in probabilistic rewriting, affine variables, and strategies on the overall confluence in this strongly normalizing probabilistic calculus.Fil: Romero, Lucas Rafael. 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; ArgentinaFil: Díaz Caro, Alejandro. Universidad Nacional de Quilmes; Argentina. 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; ArgentinaOpen Publishing Association2022-04info:eu-repo/semantics/articleinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_6501info:ar-repo/semantics/articuloapplication/pdfapplication/pdfhttp://hdl.handle.net/11336/204620Romero, Lucas Rafael; Díaz Caro, Alejandro; A note on confluence in typed probabilistic lambda calculi; Open Publishing Association; Electronic proceedings in theoretical computer science; 357; 4-2022; 18-242075-2180CONICET DigitalCONICETenginfo:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:7info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.357.2info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2106.06633v2info:eu-repo/semantics/openAccesshttps://creativecommons.org/licenses/by/2.5/ar/reponame:CONICET Digital (CONICET)instname:Consejo Nacional de Investigaciones Científicas y Técnicas2024-05-08T14:20:02Zoai:ri.conicet.gov.ar:11336/204620instacron:CONICETInstitucionalhttp://ri.conicet.gov.ar/Organismo científico-tecnológicoNo correspondehttp://ri.conicet.gov.ar/oai/requestdasensio@conicet.gov.ar; lcarlino@conicet.gov.arArgentinaNo correspondeNo correspondeNo correspondeopendoar:34982024-05-08 14:20:03.019CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicasfalse
dc.title.none.fl_str_mv A note on confluence in typed probabilistic lambda calculi
title A note on confluence in typed probabilistic lambda calculi
spellingShingle A note on confluence in typed probabilistic lambda calculi
Romero, Lucas Rafael
Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
title_short A note on confluence in typed probabilistic lambda calculi
title_full A note on confluence in typed probabilistic lambda calculi
title_fullStr A note on confluence in typed probabilistic lambda calculi
title_full_unstemmed A note on confluence in typed probabilistic lambda calculi
title_sort A note on confluence in typed probabilistic lambda calculi
dc.creator.none.fl_str_mv Romero, Lucas Rafael
Díaz Caro, Alejandro
author Romero, Lucas Rafael
author_facet Romero, Lucas Rafael
Díaz Caro, Alejandro
author_role author
author2 Díaz Caro, Alejandro
author2_role author
dc.subject.none.fl_str_mv Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
topic Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
description On the topic of probabilistic rewriting, there are several works studying both termination and confluence of different systems. While working with a lambda calculus modelling quantum computation, we found a system with probabilistic rewriting rules and strongly normalizing terms. We examine the effect of small modifications in probabilistic rewriting, affine variables, and strategies on the overall confluence in this strongly normalizing probabilistic calculus.
publishDate 2022
dc.date.none.fl_str_mv 2022-04
dc.type.none.fl_str_mv info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_6501
info:ar-repo/semantics/articulo
format article
status_str publishedVersion
dc.identifier.none.fl_str_mv http://hdl.handle.net/11336/204620
Romero, Lucas Rafael; Díaz Caro, Alejandro; A note on confluence in typed probabilistic lambda calculi; Open Publishing Association; Electronic proceedings in theoretical computer science; 357; 4-2022; 18-24
2075-2180
CONICET Digital
CONICET
url http://hdl.handle.net/11336/204620
identifier_str_mv Romero, Lucas Rafael; Díaz Caro, Alejandro; A note on confluence in typed probabilistic lambda calculi; Open Publishing Association; Electronic proceedings in theoretical computer science; 357; 4-2022; 18-24
2075-2180
CONICET Digital
CONICET
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv info:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:7
info:eu-repo/semantics/altIdentifier/doi/10.4204/EPTCS.357.2
info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2106.06633v2
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
https://creativecommons.org/licenses/by/2.5/ar/
eu_rights_str_mv openAccess
rights_invalid_str_mv https://creativecommons.org/licenses/by/2.5/ar/
dc.format.none.fl_str_mv application/pdf
application/pdf
dc.publisher.none.fl_str_mv Open Publishing Association
publisher.none.fl_str_mv Open Publishing Association
dc.source.none.fl_str_mv reponame:CONICET Digital (CONICET)
instname:Consejo Nacional de Investigaciones Científicas y Técnicas
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
repository.name.fl_str_mv CONICET Digital (CONICET) - Consejo Nacional de Investigaciones Científicas y Técnicas
repository.mail.fl_str_mv dasensio@conicet.gov.ar; lcarlino@conicet.gov.ar
_version_ 1799196240503635968
score 15.812429

Similares en LA Referencia