Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

Infinitary Rewriting for Type Systems

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

A new coinductive confluence proof for infinitary lambda-calculus

Autorzy: Łukasz Czajka
Opublikowane w: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Autorzy: Łukasz Czajka
Opublikowane w: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Wydawca: Technischen Universitat Braunschweig

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

Autorzy: Łukasz Czajka
Opublikowane w: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Wydawca: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Confluence of an extension of Combinatory Logic by Boolean constants (odnośnik otworzy się w nowym oknie)

Autorzy: Łukasz Czajka
Opublikowane w: FSCD 2017, LIPIcs vol. 84, 2017
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data (odnośnik otworzy się w nowym oknie)

Autorzy: Łukasz Czajka
Opublikowane w: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Wydawca: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Concrete Semantics with Coq and CoqHammer (odnośnik otworzy się w nowym oknie)

Autorzy: Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Opublikowane w: CICM 2018, 2018, Strona(/y) 53-59
Wydawca: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0