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

Activity: Publication peer-review and editorial work types › Journal or guest editorship

PeriodDec 2018
Event typeConference
LocationBudapest, HungaryShow on map
Degree of RecognitionInternational

Documents & Links