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

Nordvall Forsberg, F. (Guest editor)

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

PeriodDec 2018
Event typeConference
LocationBudapest, Hungary
Degree of RecognitionInternational