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

19th International Conference on Types for Proofs and Programs

TYPES 2013 : April 22 - 26, 2013 : Toulouse, France
Search for this author
Year: 2014
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 26
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 <19, 2014, Toulouse>

Details

Search for this author
Year: 2014
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-939897-72-9
ISBN (2nd): 3-939897-72-8
Description: VIII, 269 S.
Series: Leibniz International Proceedings in Informatics; 26
Participating parties: Search for this character Matthes, Ralph; Schubert, Aleksy
Media group: LIPIcs