Cantini, Andrea Levels of implication and type free theories of partial classifications with approximation operator. (English) Zbl 0793.03067 Z. Math. Logik Grundlagen Math. 38, No. 2, 107-141 (1992). Reviewer: A.Cantini (Firenze) MSC: 03F35 03D60 03B40 PDFBibTeX XMLCite \textit{A. Cantini}, Z. Math. Logik Grundlagen Math. 38, No. 2, 107--141 (1992; Zbl 0793.03067) Full Text: DOI
Jiang, Ying Scott’s semantics of lambda calculus is incompatible with the existence of a universal retraction. (La sémantique continue du lambda calcul est incompatible avec l’existence d’une rétraction universelle.) (French. English summary) Zbl 0756.03009 C. R. Acad. Sci., Paris, Sér. I 314, No. 10, 779-782 (1992). MSC: 03B40 68Q55 PDFBibTeX XMLCite \textit{Y. Jiang}, C. R. Acad. Sci., Paris, Sér. I 314, No. 10, 779--782 (1992; Zbl 0756.03009)