Cover von 27th International Conference on Types for Proofs and Programs opens in new tab

27th International Conference on Types for Proofs and Programs

TYPES 2021 : June 14 - 18, 2021, Leiden, The Netherlands (Virtual Conference)
Search for this author
Year: 2022
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 239
Media group: LIPIcs
available

Copies

ShelfmarkLocation 2Location 3Status
Shelfmark: online only Location 2: ELECTRONIC EDITION Location 3: Status: OpenAccess

Content

International Conference on Types for Proofs and Programs <27, 2021, Leiden>

Details

Search for this author
Year: 2022
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-254-9
ISBN (2nd): 3-95977-254-8
Series: Leibniz International Proceedings in Informatics; 239
Participating parties: Search for this character Basold, Henning; Cockx, Jesper; Ghilezan, Silvia
Media group: LIPIcs