Authors: Ghilezan, Silvia 
Geuvers, Herman
Ivetić, Jelena
Title: Preface
Journal: Leibniz International Proceedings in Informatics, LIPIcs
Volume: 97
First page: VII
Conference: 22nd International Conference on Types for Proofs and Programs, TYPES 2016; Novi Sad; Serbia; 23 May 2016 through 26 May 2016
Issue Date: 1-Oct-2018
ISBN: 978-3-959-77065-1
ISSN: 1868-8969
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fur Informatik

Show full item record

Page view(s)

16
checked on Dec 3, 2022

Google ScholarTM

Check

Altmetric


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.