If you made any changes in Pure these will be visible here soon.

Activities 2016 2018

  • 3 Organiser of special symposia
  • 1 Journal or guest editorship
Journal or guest editorship

23rd International Conference on Types for Proofs and Programs (Event)

Fredrik Nordvall Forsberg (Guest editor)
Dec 2018

Activity: Publication peer-review and editorial work typesJournal or guest editorship