Translate

teorema de Church-Rosser

m. Mat. Establece que, al aplicar las reglas de reducción a los términos en algunas variantes tipificadas del cálculo lambda, el orden en el que se eligen las reducciones no influye en el resultado final. ORIGEN

No hay comentarios:

Publicar un comentario