Ginisti, Jean-Pierre Combinatory logic. (La logique combinatoire.) (French) Zbl 0873.03011 Que sais-je? Paris: Presses Universitaires de France. 127 p. (1997). Reviewer: A.Cantini (Firenze) MSC: 03B40 03-01 00A06 PDFBibTeX XMLCite \textit{J.-P. Ginisti}, La logique combinatoire. Paris: Presses Universitaires de France (1997; Zbl 0873.03011)
Banach, R. MONSTR V – transitive coercing semantics and the Church-Rosser property. (English) Zbl 0960.68083 J. UCS 3, No. 12, 1283-1336 (1997). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Banach}, J. UCS 3, No. 12, 1283--1336 (1997; Zbl 0960.68083) Full Text: Link