Artículo

A note on confluence in typed probabilistic lambda calculi

Romero, Lucas RafaelIcon ; Díaz Caro, AlejandroIcon
Fecha de publicación: 04/2022
Editorial: Open Publishing Association
Revista: Electronic proceedings in theoretical computer science
ISSN: 2075-2180
Idioma: Inglés
Tipo de recurso: Artículo publicado
Clasificación temática:

Resumen

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.
Palabras clave: Local confluence , Simply typed lambda calculus , Probabilistic rewriting system
 
Archivos asociados
Thumbnail
 
Tamaño: 197.3Kb
Formato: PDF
.
Licencia
info:eu-repo/semantics/openAccess Excepto donde se diga explícitamente, este item se publica bajo la siguiente descripción: Creative Commons Attribution 2.5 Unported (CC BY 2.5)
Identificadores
URI: http://hdl.handle.net/11336/204620
URL: https://cgi.cse.unsw.edu.au/~eptcs/paper.cgi?LSFA2021:7
DOI: http://dx.doi.org/10.4204/EPTCS.357.2
Colecciones
Articulos(ICC)
Articulos de INSTITUTO DE INVESTIGACION EN CIENCIAS DE LA COMPUTACION
Citación
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
Compartir
Altmétricas