×

Found 6 Documents (Results 1–6)

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
Full Text: DOI

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
Full Text: DOI

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).
MSC:  03B70 03F55
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Main Field

Software