You are not logged in | Log in

PL /
EN

Conference: The 21st Amsterdam Colloquium

Number of publications: 1

2017

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

European Founds

European Social Found

Initiative of Excellence – Research University

HR Excellence in Research

Integrated Development Programme

Polish National Science Centre

Erasmus Without Paper

Erasmus Without Paper