Infinitary Rewriting for Type Systems

Project Information

InfTy

Grant agreement ID: 704111

DOI

10.3030/704111

Project closed

EC signature date 19 April 2016

Start date 1 August 2016

End date 31 July 2018

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 200 194,80

EU contribution

€ 200 194,80

Coordinated by

KOBENHAVNS UNIVERSITET
Denmark

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (3)

A new coinductive confluence proof for infinitary lambda-calculus

Author(s): Łukasz Czajka
Published in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Author(s): Łukasz Czajka
Published in: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Publisher: Technischen Universitat Braunschweig

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

Author(s): Łukasz Czajka
Published in: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Publisher: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Conference proceedings (2)

Confluence of an extension of Combinatory Logic by Boolean constants

Author(s): Łukasz Czajka
Published in: FSCD 2017, LIPIcs vol. 84, 2017
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data

Author(s): Łukasz Czajka
Published in: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Other (1)

Concrete Semantics with Coq and CoqHammer

Author(s): Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Published in: CICM 2018, 2018, Page(s) 53-59
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5