Nie jesteś zalogowany |
Powrót do listy instytutów
Publikacje
Konferencja: The 21st Amsterdam Colloquium
Liczba publikacji: 12017
- Justyna Grudzińska-Zawadowska, Marek Zawadowski , Inverse Linking: Taking Scope with Dependent Types, The 21st Amsterdam Colloquium, Amsterdam, the Netherlands, 19 grudnia 2017 - 21 grudnia 2017. Zobacz w PBN
