Cover von 31st International Conference on Types for Proofs and Programs opens in new tab

31st International Conference on Types for Proofs and Programs

TYPES 2025, University of Strathclyde, Glasgow, Scotland, June 9-13, 2025
Search for this author
Year: 2025
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 384
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 <31, 2025, Glasgow>

Details

Search for this author
Year: 2025
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-441-3
ISBN (2nd): 3-95977-441-9
Series: Leibniz International Proceedings in Informatics; 384
Participating parties: Search for this character Nordvall Forsberg, Fredrik; MacKinna, James
Media group: LIPIcs