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

28th International Conference on Types for Proofs and Programs

TYPES 2022 : June 20 - 25, 2022, LS2N, University of Nantes, France
Search for this author
Year: 2023
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 269
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 <28, 2022, Lyon>

Details

Search for this author
Year: 2023
Publisher: Wadern, LZI
opens in new tab
Search for this systematic
Search for this subject type
ISBN: 978-3-95977-285-3
ISBN (2nd): 3-95977-285-8
Description: 342 S.
Series: Leibniz International Proceedings in Informatics; 269
Participating parties: Search for this character Kesner, Delia; Pedrot, Pierre-Marie
Media group: LIPIcs