On the problem of deciding equality in partial combinatory algebras and in a formal system

@article{Longo1976OnTP,
  title={On the problem of deciding equality in partial combinatory algebras and in a formal system},
  author={G. Longo},
  journal={Studia Logica},
  year={1976},
  volume={35},
  pages={363-375}
}