Kikuchi, Kentaro Proving strong normalisation via non-deterministic translations into Klop’s extended lambda-calculus. (English) Zbl 1356.03059 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 395-414 (2013). MSC: 03B40 03F05 PDFBibTeX XMLCite \textit{K. Kikuchi}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 395--414 (2013; Zbl 1356.03059) Full Text: DOI
Gimenez, Stéphane; Moser, Georg The structure of interaction. (English) Zbl 1356.68063 Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 316-331 (2013). MSC: 68Q05 03F52 68Q10 PDFBibTeX XMLCite \textit{S. Gimenez} and \textit{G. Moser}, LIPIcs -- Leibniz Int. Proc. Inform. 23, 316--331 (2013; Zbl 1356.68063) Full Text: DOI
Bernadet, Alexis; Lengrand, Stéphane Jean Non-idempotent intersection types and strong normalisation. (English) Zbl 1297.03010 Log. Methods Comput. Sci. 9, No. 4, Paper No. 3, 46 p. (2013). MSC: 03B40 68Q55 PDFBibTeX XMLCite \textit{A. Bernadet} and \textit{S. J. Lengrand}, Log. Methods Comput. Sci. 9, No. 4, Paper No. 3, 46 p. (2013; Zbl 1297.03010) Full Text: DOI arXiv
Fridlender, Daniel; Pagano, Miguel A type-checking algorithm for Martin-Löf type theory with subtyping based on normalisation by evaluation. (English) Zbl 1273.03106 Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 140-155 (2013). Reviewer: Johan Georg Granström (Zürich) MSC: 03B70 03F55 PDFBibTeX XMLCite \textit{D. Fridlender} and \textit{M. Pagano}, Lect. Notes Comput. Sci. 7941, 140--155 (2013; Zbl 1273.03106) Full Text: DOI
Ilik, Danko Continuation-passing style models complete for intuitionistic logic. (English) Zbl 1270.03124 Ann. Pure Appl. Logic 164, No. 6, 651-662 (2013). MSC: 03F50 03B40 PDFBibTeX XMLCite \textit{D. Ilik}, Ann. Pure Appl. Logic 164, No. 6, 651--662 (2013; Zbl 1270.03124) Full Text: DOI arXiv
David, René; Grygiel, Katarzyna; Kozik, Jakub; Raffalli, Christophe; Theyssier, Guillaume; Zaionc, Marek Asymptotically almost all \(\lambda \)-terms are strongly normalizing. (English) Zbl 1278.03034 Log. Methods Comput. Sci. 9, No. 1, Paper No. 2, 30 p. (2013). Reviewer: Martin W. Bunder (Wollongong) MSC: 03B40 68N18 PDFBibTeX XMLCite \textit{R. David} et al., Log. Methods Comput. Sci. 9, No. 1, Paper No. 2, 30 p. (2013; Zbl 1278.03034) Full Text: DOI