Back to the list of the institutes
Publications
Conference: The 21st Amsterdam Colloquium
Number of publications: 12017
- Justyna Grudzińska-Zawadowska, Marek Zawadowski , Inverse Linking: Taking Scope with Dependent Types, The 21st Amsterdam Colloquium, Amsterdam, the Netherlands, 19 December 2017 - 21 December 2017. See in PBN