Cover von 13th International Conference on Typed Lambda Calculi and Applications opens in new tab

13th International Conference on Typed Lambda Calculi and Applications

TLCA 2015 : July 1 - 3, 2015, Warsaw, Poland
Search for this author
Year: 2015
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 38
Media group: LIPIcs
available

Copies

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

Content

International Conference on Typed Lambda Calculi and Applications <13, 2015, Warsaw>

Details

Search for this author
Year: 2015
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-939897-87-3
ISBN (2nd): 3-939897-87-6
Description: XII, 346 S.
Series: Leibniz International Proceedings in Informatics; 38
Participating parties: Search for this character Altenkirch, Thorsten
Media group: LIPIcs