Enviar aquest missatge de text: Types and consistency in combinatory algebras /