Infinitary Rewriting for Type Systems

Projektinformationen

InfTy

ID Finanzhilfevereinbarung: 704111

DOI

10.3030/704111

Projekt abgeschlossen

EK-Unterschriftsdatum 19 April 2016

Startdatum 1 August 2016

Enddatum 31 Juli 2018

Finanziert unter

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Gesamtkosten

€ 200 194,80

EU-Beitrag

€ 200 194,80

Koordiniert durch

KOBENHAVNS UNIVERSITET
Denmark

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (3)

A new coinductive confluence proof for infinitary lambda-calculus

Autoren: Łukasz Czajka
Veröffentlicht in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Autoren: Łukasz Czajka
Veröffentlicht in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Herausgeber: Technischen Universitat Braunschweig

A shallow embedding of Pure Type Systems into first-order logic

Autoren: Łukasz Czajka
Veröffentlicht in: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Herausgeber: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Conference proceedings (2)

Confluence of an extension of Combinatory Logic by Boolean constants

Autoren: Łukasz Czajka
Veröffentlicht in: FSCD 2017, LIPIcs vol. 84, 2017
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data

Autoren: Łukasz Czajka
Veröffentlicht in: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Other (1)

Concrete Semantics with Coq and CoqHammer

Autoren: Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Veröffentlicht in: CICM 2018, 2018, Seite(n) 53-59
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5