TYPES 2021: 27th International Conference on Types for Proofs and Programs

Perez Parra, J. (Member of scientific committee)

Activiteit: Organising and contributing to an event Academic

Periode14-jun-202118-jun-2021
EvenementstypeConference
Mate van erkenningInternational