van Bakel, Steffen The heart of intersection type assignment: Normalisation proofs revisited. (English) Zbl 1145.68014 Theor. Comput. Sci. 398, No. 1-3, 82-94 (2008). MSC: 68N18 03B40 03F05 PDFBibTeX XMLCite \textit{S. van Bakel}, Theor. Comput. Sci. 398, No. 1--3, 82--94 (2008; Zbl 1145.68014) Full Text: DOI
van Bakel, Steffen Cut-elimination in the strict intersection type assignment system is strongly normalizing. (English) Zbl 1095.03058 Notre Dame J. Formal Logic 45, No. 1, 35-63 (2004). MSC: 03F05 03B40 68Q55 PDFBibTeX XMLCite \textit{S. van Bakel}, Notre Dame J. Formal Logic 45, No. 1, 35--63 (2004; Zbl 1095.03058) Full Text: DOI
van Bakel, Steffen Strongly normalising cut-elimination with strict intersection types. (English) Zbl 1270.03034 van Bakel, Steffen (ed.), ITRS’02. Proceedings of the 2nd workshop on intersection types and related systems (FLoC satellite event), Copenhagen, Denmark, July 26, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 1, 19-36 (2003). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{S. van Bakel}, Electron. Notes Theor. Comput. Sci. 70, No. 1, 19--36 (2003; Zbl 1270.03034) 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; Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; de Vries, Fer-Jan Intersection types for \(\lambda\)-trees. (English) Zbl 0984.68033 Theor. Comput. Sci. 272, No. 1-2, 3-40 (2002). MSC: 68N19 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Theor. Comput. Sci. 272, No. 1--2, 3--40 (2002; Zbl 0984.68033) Full Text: DOI
van Bakel, Steffen; Liquori, Luigi; Ronchi della Rocca, Simona; Urzyczyn, Pawel Comparing cubes of typed and type assignment systems. (English) Zbl 0952.03010 Ann. Pure Appl. Logic 86, No. 3, 267-303 (1997). MSC: 03B40 PDFBibTeX XMLCite \textit{S. van Bakel} et al., Ann. Pure Appl. Logic 86, No. 3, 267--303 (1997; Zbl 0952.03010) 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