Infinitary Rewriting for Type Systems

Información del proyecto

InfTy

Identificador del acuerdo de subvención: 704111

DOI

10.3030/704111

Proyecto cerrado

Fecha de la firma de la CE 19 Abril 2016

Fecha de inicio 1 Agosto 2016

Fecha de finalización 31 Julio 2018

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total

€ 200 194,80

Aportación de la UE

€ 200 194,80

Coordinado por

KOBENHAVNS UNIVERSITET
Denmark

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (3)

A new coinductive confluence proof for infinitary lambda-calculus

Autores: Łukasz Czajka
Publicado en: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

An infinitary rewriting interpretation of coinductive types

Autores: Łukasz Czajka
Publicado en: Logical Methods in Computer Science (submitted, under review), 2018, ISSN 1860-5974
Editor: Technischen Universitat Braunschweig

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

Autores: Łukasz Czajka
Publicado en: LIPIcs, vol. 97 (accepted for publication), 2018, ISSN 1868-8969
Editor: Schloss Dagstuhl - Leibniz Zentrum fuer Informatik

Conference proceedings (2)

Confluence of an extension of Combinatory Logic by Boolean constants

Autores: Łukasz Czajka
Publicado en: FSCD 2017, LIPIcs vol. 84, 2017
Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2017.14

Term rewriting characterisation of LOGSPACE for finite and infinite data

Autores: Łukasz Czajka
Publicado en: FSCD 2018, LIPIcs vol. 108, 2018, ISBN 978-3-95977-077-4
Editor: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/LIPIcs.FSCD.2018.13

Other (1)

Concrete Semantics with Coq and CoqHammer

Autores: Łukasz Czajka, Burak Ekici, Cezary Kaliszyk
Publicado en: CICM 2018, 2018, Página(s) 53-59
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-96812-4_5