[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear colleagues,
on behalf of the editors Stefano Berardi, Thorsten Altenkirch and
myself, it is my pleasure to communicate that the post-proceedings of
TYPES'20 have been published as LIPICS Vol. 188, ISBN 978-3-95977-182-5.
The link to the volume is:
https://www.dagstuhl.de/dagpub/978-3-95977-182-5
All the best,
Ugo
--
Ugo de'Liguoro
Associate Professor of Computer Science
Dipartimento di Informatica
Università di Torino
Corso Svizzera 185, 10149, Torino, Italy
phone: +39 011 6706766 - fax: +39 011 751603