Publikacje

Konferencja: The 21st Amsterdam Colloquium

2017

• 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