The uniqueness of the fixed-point in every diagonalizable algebra Claudio Bernardi Articles Pages: 335 - 343
An effective fixed-point theorem in intuitionistic diagonalizable algebras Giovanni Sambin Articles Pages: 345 - 361
On the problem of deciding equality in partial combinatory algebras and in a formal system Giuseppa Longo Articles Pages: 363 - 375