Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

Infinitary Rewriting for Type Systems

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

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

Confluence of an extension of Combinatory Logic by Boolean constants (opens in new window)

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 (opens in new window)

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

Concrete Semantics with Coq and CoqHammer (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0