López-Escobar, E. G. K. Graphical representation of the theorem of Church and Rosser. (Spanish) Zbl 0801.03014 Rev. Colomb. Mat. 27, No. 3-4, 267-280 (1993). MSC: 03B40 PDFBibTeX XMLCite \textit{E. G. K. López-Escobar}, Rev. Colomb. Mat. 27, No. 3--4, 267--280 (1993; Zbl 0801.03014) Full Text: EuDML
de Groote, Philippe Defining \(\lambda\)-typed \(\lambda\)-calculi by axiomatizing the typing relation. (English) Zbl 0797.68144 Enjalbert, Patrice (ed.) et al., STACS 93. 10th annual symposium on theoretical aspects of computer science, Würzburg, Germany, February 25-27, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 665, 712-723 (1993). MSC: 68T15 03B40 68Q45 PDFBibTeX XMLCite \textit{P. de Groote}, Lect. Notes Comput. Sci. 665, 712--723 (1993; Zbl 0797.68144)