A note on confluence in typed probabilistic lambda calculi

Autores
Romero, Lucas Rafael; Díaz Caro, Alejandro
Año de publicación
2022
Idioma
inglés
Tipo de recurso
artículo
Estado
versión publicada
Descripción
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.
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; Argentina
Fil: 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; Argentina
Materia
Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
Nivel de accesibilidad
acceso abierto
Condiciones de uso
https://creativecommons.org/licenses/by/2.5/ar/
Repositorio
CONICET Digital (CONICET)
Institución
Consejo Nacional de Investigaciones Científicas y Técnicas
OAI Identificador
oai:ri.conicet.gov.ar:11336/204620
Acceder
id CONICETDig_7dbbc62d82eb24b2e6a6efc5b2419b33
oai_identifier_str oai:ri.conicet.gov.ar:11336/204620
network_acronym_str CONICETDig
repository_id_str 3498
network_name_str CONICET Digital (CONICET)
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écnicas2025-09-10T13:22: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:34982025-09-10 13:22:02.245CONICET 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
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
topic Local confluence
Simply typed lambda calculus
Probabilistic rewriting system
purl_subject.fl_str_mv https://purl.org/becyt/ford/1.2
https://purl.org/becyt/ford/1
dc.description.none.fl_txt_mv 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.
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; Argentina
Fil: 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; Argentina
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
reponame_str CONICET Digital (CONICET)
collection CONICET Digital (CONICET)
instname_str Consejo Nacional de Investigaciones Científicas y Técnicas
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_ 1842981212491087872
score 12.48226

Publicaciones similares