Leivant, Daniel Feasible functionals and intersection of ramified types. (English) Zbl 1270.03066 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, 149-162 (2003). MSC: 03D65 PDFBibTeX XMLCite \textit{D. Leivant}, Electron. Notes Theor. Comput. Sci. 70, No. 1, 149--162 (2003; Zbl 1270.03066) Full Text: DOI
Leivant, Daniel Ramified recurrence and computational complexity. III: Higher type recurrence and elementary complexity. (English) Zbl 0924.03071 Ann. Pure Appl. Logic 96, No. 1-3, 209-229 (1999). MSC: 03D15 03B70 03D20 03F05 03F10 68N15 68Q05 68Q15 PDFBibTeX XMLCite \textit{D. Leivant}, Ann. Pure Appl. Logic 96, No. 1--3, 209--229 (1999; Zbl 0924.03071) Full Text: DOI
Leivant, Daniel Finitely stratified polymorphism. (English) Zbl 0799.68041 Inf. Comput. 93, No. 1, 93-113 (1991). MSC: 68N15 03B40 11Y99 PDFBibTeX XMLCite \textit{D. Leivant}, Inf. Comput. 93, No. 1, 93--113 (1991; Zbl 0799.68041) Full Text: DOI