Contributed talk TYPES 2019: "Compositional Game Theory in Type Theory"

Activity: Talk or presentation typesOral presentation

Period14 Jun 2019
Event title25th International Conference on Types for Proofs and Programs
Event typeConference
LocationOslo, NorwayShow on map
Degree of RecognitionInternational