Nakazawa, Koji; Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakano, Hiroshi Type checking and typability in domain-free lambda calculi. (English) Zbl 1241.03011 Theor. Comput. Sci. 412, No. 44, 6193-6207 (2011). MSC: 03B40 PDFBibTeX XMLCite \textit{K. Nakazawa} et al., Theor. Comput. Sci. 412, No. 44, 6193--6207 (2011; Zbl 1241.03011) Full Text: DOI
Nakazawa, Koji Confluency and strong normalizability of call-by-value \(\lambda \mu\)-calculus. (English) Zbl 1018.68016 Theor. Comput. Sci. 290, No. 1, 429-463 (2003). MSC: 68N18 PDFBibTeX XMLCite \textit{K. Nakazawa}, Theor. Comput. Sci. 290, No. 1, 429--463 (2003; Zbl 1018.68016) Full Text: DOI