Representación gráfica del teorema de church y rosser

Usando una notación en el estilo del Begriffsschrift de G. Frege [3] damos una prueba muy transparente del teorema de Church y Rosser para un gran conjunto de sistemas combinatorios.

Autores:
López-Escobar, E.G.K.
Tipo de recurso:
Article of journal
Fecha de publicación:
1993
Institución:
Universidad Nacional de Colombia
Repositorio:
Universidad Nacional de Colombia
Idioma:
spa
OAI Identifier:
oai:repositorio.unal.edu.co:unal/43637
Acceso en línea:
https://repositorio.unal.edu.co/handle/unal/43637
http://bdigital.unal.edu.co/33735/
Palabra clave:
Representación gráfica
teorema de Church
Rosser
sistemas combinatorios
Rights
openAccess
License
Atribución-NoComercial 4.0 Internacional