search result

Cover von 24th International Conference on Types for Proofs and Programs
TYPES 2018 : June 18 - 21, 2018, Braga, Portugal
Search for this author
Year: 2019
Publisher: Wadern, LZI
Series: Leibniz International Proceedings in Informatics; 130
Media group: LIPIcs
Cover von Applied semantics
international summer school, Caminha, Portugal, September 9 - 15, 2000 : advanced lectures
Search for this author
Year: 2002
Publisher: Berlin, Springer
Series: Lecture notes in computer science; 2395
Media group: MONOGRAPHIE
Cover von Type Theory with Explicit Universe Polymorphism

Type Theory with Explicit Universe Polymorphism

Year: 2023
Media group: LIPIcs
OPEN V 11.1.0.0