Mostrar el registro sencillo del ítem

dc.contributor.author
Romero, Lucas Rafael  
dc.contributor.author
Díaz Caro, Alejandro  
dc.date.available
2023-07-20T13:38:31Z  
dc.date.issued
2022-04  
dc.identifier.citation
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  
dc.identifier.issn
2075-2180  
dc.identifier.uri
http://hdl.handle.net/11336/204620  
dc.description.abstract
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.  
dc.format
application/pdf  
dc.language.iso
eng  
dc.publisher
Open Publishing Association  
dc.rights
info:eu-repo/semantics/openAccess  
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/  
dc.subject
Local confluence  
dc.subject
Simply typed lambda calculus  
dc.subject
Probabilistic rewriting system  
dc.subject.classification
Ciencias de la Computación  
dc.subject.classification
Ciencias de la Computación e Información  
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS  
dc.title
A note on confluence in typed probabilistic lambda calculi  
dc.type
info:eu-repo/semantics/article  
dc.type
info:ar-repo/semantics/artículo  
dc.type
info:eu-repo/semantics/publishedVersion  
dc.date.updated
2023-07-07T22:27:31Z  
dc.journal.volume
357  
dc.journal.pagination
18-24  
dc.journal.pais
Francia  
dc.description.fil
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  
dc.description.fil
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  
dc.journal.title
Electronic proceedings in theoretical computer science  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:7  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4204/EPTCS.357.2  
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/arxiv/https://arxiv.org/abs/2106.06633v2  

Archivos asociados
Thumbnail
 
Tamaño: 197.3Kb
Formato: PDF
.