Resultados de la búsqueda: Hindley, J. Roger http://biblioteca.universia.net/searchAutor.do?q=Hindley,%20J.%20Roger Resultados 1 - 3 de 3 de Hindley, J. Roger. (0,11 segundos) es Universia-Recursos de Aprendizaje http://biblioteca.universia.net/img/logotipo.jpg http://biblioteca.universia.net/ BCK and BCI logics, condensed detachment and the $2$-property. http://biblioteca.universia.net/ficha.do?id=980008 Hindley, J. Roger Principal Type-Schemes and Condensed Detachment http://biblioteca.universia.net/ficha.do?id=37474763 Hindley, J. Roger; Meredith, David On Adding $(\xi)$ to Weak Equality in Combinatory Logic http://biblioteca.universia.net/ficha.do?id=37474634 Because the main difference between combinatory weak equality and $\lambda\beta$-equality is that the rule \begin{equation*}\tag{\xi} X = Y \vdash \lambda x.X = \lambda x.Y\end{equation*} is valid for the latter but not the former, it is easy to assume that another way of defining combinatory $\beta$-equality is to add rule $(\xi)$ to the postulates for weak equality. However, to make this true, one must choose the definition of combinatory abstraction in $(\xi)$ very carefully. If one tries ... Bunder, Martin W.; Hindley, J. Roger; Seldin, Jonathan P.