Skip to main content
Weiter zur Homepage der Europäischen Kommission (öffnet in neuem Fenster)
Deutsch Deutsch
CORDIS - Forschungsergebnisse der EU
CORDIS

Infinitary Rewriting for Type Systems

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

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

Confluence of an extension of Combinatory Logic by Boolean constants (öffnet in neuem Fenster)

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 (öffnet in neuem Fenster)

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

Concrete Semantics with Coq and CoqHammer (öffnet in neuem Fenster)

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

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor

Mein Booklet 0 0