undefined

< Tillbaka till sökresultaten

Constructive Cut Elimination in Geometric Logic

Publiceringsår

2022

Upphovspersoner

Fellin, Giulio; Negri, Sara; Orlandelli, Eugenio

Organisationer och upphovspersoner

Helsingfors universitet

Orlandelli Eugenio

Fellin Giulio

Negri Sara

Publikationstyp

Publikationsform

Artikel

Moderpublikationens typ

Konferens

Artikelstyp

Annan artikel

Målgrupp

Vetenskaplig

Kollegialt utvärderad

Kollegialt utvärderad

UKM:s publikationstyp

A4 Artikel i en konferenspublikation

Publikationskanalens uppgifter

Journal

Leibniz International Proceedings in Informatics, LIPIcs

Moderpublikationens namn

27th International Conference on Types for Proofs and Programs, TYPES 2021

Moderpublikationens redaktörer

Basold, Henning; Cockx, Jesper; Ghilezan, Silvia

Konferens

27th International Conference on Types for Proofs and Programs, TYPES 2021

Förläggare

Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing

Volym

239

Artikelnummer

7

Sidor

1-16

ISSN

1868-8969

ISBN

978-3-95977-254-9

Publikationsforum

79091

Publikationsforumsnivå

1

Öppen tillgång

Öppen tillgänglighet i förläggarens tjänst

Ja

Öppen tillgång till publikationskanalen

Helt öppen publikationskanal

Parallellsparad

Ja

Parallellagringens licens

CC BY

Övriga uppgifter

Vetenskapsområden

Data- och informationsvetenskap

Nyckelord

[object Object],[object Object],[object Object],[object Object],[object Object]

Publiceringsland

Tyskland

Förlagets internationalitet

Internationell

Språk

engelska

Internationell sampublikation

Ja

Sampublikation med ett företag

Nej

DOI

10.4230/LIPIcs.TYPES.2021.7

Publikationen ingår i undervisnings- och kulturministeriets datainsamling

Ja