Infinitary Rewriting for Type Systems

Informations projet

InfTy

N° de convention de subvention: 704111

DOI

10.3030/704111

Projet clôturé

Date de signature de la CE 19 Avril 2016

Date de début 1 Août 2016

Date de fin 31 Juillet 2018

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 200 194,80

Contribution de l’UE

€ 200 194,80

Coordonné par

KOBENHAVNS UNIVERSITET
Denmark

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (3)

A new coinductive confluence proof for infinitary lambda-calculus

Auteurs: Łukasz Czajka
Publié dans: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Auteurs: Łukasz Czajka
Publié dans: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Éditeur: Technischen Universitat Braunschweig

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

Auteurs: Łukasz Czajka
Publié dans: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Éditeur: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Conference proceedings (2)

Confluence of an extension of Combinatory Logic by Boolean constants

Auteurs: Łukasz Czajka
Publié dans: FSCD 2017, LIPIcs vol. 84, 2017
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data

Auteurs: Łukasz Czajka
Publié dans: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Éditeur: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Other (1)

Concrete Semantics with Coq and CoqHammer

Auteurs: Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Publié dans: CICM 2018, 2018, Page(s) 53-59
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5