van Bakel, Steffen Completeness and partial soundness results for intersection and union typing for \(\overline{\lambda}\mu\tilde{\mu}\). (English) Zbl 1225.03015 Ann. Pure Appl. Logic 161, No. 11, 1400-1430 (2010). MSC: 03B40 03B70 PDFBibTeX XMLCite \textit{S. van Bakel}, Ann. Pure Appl. Logic 161, No. 11, 1400--1430 (2010; Zbl 1225.03015) Full Text: DOI
van Bakel, Steffen; Fernández, Maribel Normalization, approximation, and semantics for combinator systems. (English) Zbl 1019.68059 Theor. Comput. Sci. 290, No. 1, 975-1019 (2003). MSC: 68Q55 PDFBibTeX XMLCite \textit{S. van Bakel} and \textit{M. Fernández}, Theor. Comput. Sci. 290, No. 1, 975--1019 (2003; Zbl 1019.68059) Full Text: DOI
van Bakel, Steffen; Fernández, Maribel Normalization results for typeable rewrite systems. (English) Zbl 0877.68072 Inf. Comput. 133, No. 2, 73-116 (1997). MSC: 68Q42 PDFBibTeX XMLCite \textit{S. van Bakel} and \textit{M. Fernández}, Inf. Comput. 133, No. 2, 73--116 (1997; Zbl 0877.68072) Full Text: DOI Link
van Bakel, Steffen; Fernández, Maribel Approximation and normalization results for typeable term rewriting systems. (English) Zbl 1407.68243 Dowek, Gilles (ed.) et al., Higher-order algebra, logic, and term rewriting. Second international workshop, HOA ’95, Paderborn, Germany, September 21–22, 1995. Selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 1074, 17-36 (1996). MSC: 68Q42 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} and \textit{M. Fernández}, Lect. Notes Comput. Sci. 1074, 17--36 (1996; Zbl 1407.68243) Full Text: DOI
van Bakel, Steffen Intersection type assignment systems. (English) Zbl 0871.68031 Theor. Comput. Sci. 151, No. 2, 385-435 (1995). MSC: 68N15 68N01 PDFBibTeX XMLCite \textit{S. van Bakel}, Theor. Comput. Sci. 151, No. 2, 385--435 (1995; Zbl 0871.68031) Full Text: DOI
van Bakel, Steffen Complete restrictions of the intersection type discipline. (English) Zbl 0762.03006 Theor. Comput. Sci. 102, No. 1, 135-163 (1992). MSC: 03B40 68N15 68N01 PDFBibTeX XMLCite \textit{S. van Bakel}, Theor. Comput. Sci. 102, No. 1, 135--163 (1992; Zbl 0762.03006) Full Text: DOI