Cover von 23rd International Conference on Types for Proofs and Programs opens in new tab

23rd International Conference on Types for Proofs and Programs

TYPES 2017 : May 29 - June 1, 2017, Budapest, Hungary
Search for this author
Year: 2018
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 104
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 <23, 2017, Budapest>

Details

Search for this author
Year: 2018
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-071-2
ISBN (2nd): 3-95977-071-5
Series: Leibniz International Proceedings in Informatics; 104
Participating parties: Search for this character Abel, Andreas; Nordvall Forsberg, Fredrik; Kaposi, Ambrus
Media group: LIPIcs