Skip to main content

Proof theory and computation

Funding Scheme

CSC - Cost-sharing contracts

Coordinator

University of Leeds
Address
Woodhouse Lane
LS2 9JT Leeds
United Kingdom

Participants (2)

Ludwig-Maximilians-Universität München
Germany
Address
Theresienstraße 39
80333 München
University of Oslo
Norway
Address
Matematikkbygningen
316 Oslo-blindern