Reducibility method in simply typed lambda calculus. Ghilezan, Silvia, Kunčak, Viktor (2001) Novi Sad Journal of Mathematics
Representación grafica del teorema de Church y Rosser E. G. K. López-Escobar (1993) Revista colombiana de matematicas
Rétractions et interprétation interne du polymorphisme : le problème de la rétraction universelle C. Berline (1992) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Right and left invertibility in λ - β -calculus I. Margaria, M. Zacchi (1983) RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications