británico
J. Roger Hindley es un matemático británico conocido por sus contribuciones en el campo de la lógica y su influencia en la teoría de tipos y sistemas de pruebas. Su trabajo ha sido fundamental en el desarrollo de fundamentos matemáticos y computacionales.
1986·no ficcion
Un compendio exhaustivo y formal de los resultados, definiciones y notaciones clave en lógica combinatoria y cálculo lambda. Sirve como una referencia técnica avanzada para especialistas en el campo.
Aparecen junto a J. Roger Hindley en búsquedas del archivo
