Resultados de la búsqueda: symmetric combinatory logic http://biblioteca.universia.net/searchKeyWord.do?q=symmetric%20combinatory%20logic Resultados 1 - 1 de 1 de symmetric combinatory logic. (0,12 segundos) es Universia-Recursos de Aprendizaje http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ The Church-Rosser property in symmetric combinatory logic http://biblioteca.universia.net/ficha.do?id=1445170 Symmetic combinatory logic with the symmetric analogue of a combinatorially complete base (in the form of symmetric ?-calculus) is known to lack the Church-Rosser property. We prove a much stronger theorem that no symmetric combinatory logic that contains at least two proper symmetric combinators has the Church-Rosser property. Although the statement of the result looks similar to an earlier one concerning dual combinatory logic, the proof is different because symmetric combinators may form r... Bimbó, Katalin