| Authors: | Basold, Henning Cockx, Jesper Ghilezan, Silvia |
Affiliations: | Mathematics | Title: | 27th International Conference on Types for Proofs and Programs, TYPES 2021, June 14-18, 2021, Leiden, The Netherlands (Virtual Conference) - Proceedings | Issue Date: | 2022 | Rank: | M36 | URL: | https://drops.dagstuhl.de/opus/volltexte/2022/16768/pdf/lipics-vol239-types2021-complete.pdf | Publisher: | Schloss Dagstuhl – Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, Germany |
Show full item record
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.