Cover von 18th International Workshop on Types for Proofs and Programs opens in new tab

18th International Workshop on Types for Proofs and Programs

September 8 - 11, 2011, Bergen, Norway
Search for this author
Year: 2013
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 19
Media group: LIPIcs
available

Copies

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

Content

International Workshop on Types for Proofs and Programs <18, 2011, Bergen>

Details

Search for this author
Year: 2013
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-939897-49-1
ISBN (2nd): 3-939897-49-3
Description: IX, 69 S.
Series: Leibniz International Proceedings in Informatics; 19
Participating parties: Search for this character Danielsson, Nils Anders; Nordström, Bengt
Parallel title: TYPES 2011
Media group: LIPIcs