search result

Cover von 26th International Conference on Types for Proofs and Programs
TYPES 2020 : March 2 - 5, 2020, University of Turin, Italy
Search for this author
Year: 2021
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 188
Media group: LIPIcs
Cover von Types for Proofs and Programs
International Conference, Torino, Italy, March 26 - 29, 2008 Revised Selected Papers
Search for this author
Year: 2009
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 5497
Media group: MONOGRAPHIE
OPEN V 11.1.0.0