Terui, Kazushige Light affine lambda calculus and polynomial time strong normalization. (English) Zbl 1110.03009 Arch. Math. Logic 46, No. 3-4, 253-280 (2007). MSC: 03B40 03B70 03F52 03D15 03F05 03F20 PDFBibTeX XMLCite \textit{K. Terui}, Arch. Math. Logic 46, No. 3--4, 253--280 (2007; Zbl 1110.03009) Full Text: DOI
Constable, Robert L. A note on complexity measures for inductive classes in constructive type theory. (English) Zbl 0916.03039 Inf. Comput. 143, No. 2, 137-153 (1998). Reviewer: M.Hofmann MSC: 03F35 03D15 68Q15 03D20 PDFBibTeX XMLCite \textit{R. L. Constable}, Inf. Comput. 143, No. 2, 137--153 (1998; Zbl 0916.03039) Full Text: DOI