Skip to main content
Aller à la page d’accueil de la Commission européenne (s’ouvre dans une nouvelle fenêtre)
français français
CORDIS - Résultats de la recherche de l’UE
CORDIS

Infinitary Rewriting for Type Systems

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

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

Confluence of an extension of Combinatory Logic by Boolean constants (s’ouvre dans une nouvelle fenêtre)

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 (s’ouvre dans une nouvelle fenêtre)

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

Concrete Semantics with Coq and CoqHammer (s’ouvre dans une nouvelle fenêtre)

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

Recherche de données OpenAIRE...

Une erreur s’est produite lors de la recherche de données OpenAIRE

Aucun résultat disponible

Mon livret 0 0