Infinitary Rewriting for Type Systems

Informazioni relative al progetto

InfTy

ID dell’accordo di sovvenzione: 704111

DOI

10.3030/704111

Progetto chiuso

Data della firma CE 19 Aprile 2016

Data di avvio 1 Agosto 2016

Data di completamento 31 Luglio 2018

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale

€ 200 194,80

Contributo UE

€ 200 194,80

Coordinato da

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (3)

A new coinductive confluence proof for infinitary lambda-calculus

Autori: Łukasz Czajka
Pubblicato in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Autori: Łukasz Czajka
Pubblicato in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Editore: Technischen Universitat Braunschweig

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

Autori: Łukasz Czajka
Pubblicato in: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Editore: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Conference proceedings (2)

Confluence of an extension of Combinatory Logic by Boolean constants

Autori: Łukasz Czajka
Pubblicato in: FSCD 2017, LIPIcs vol. 84, 2017
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data

Autori: Łukasz Czajka
Pubblicato in: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Editore: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Other (1)

Concrete Semantics with Coq and CoqHammer

Autori: Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Pubblicato in: CICM 2018, 2018, Pagina/e 53-59
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5