Contributed talk TYPES 2015: "Two-dimensional proof-relevant parametricity"

Activity: Talk or presentation types › Oral presentation

Period21 May 2015
Event title21st International Conference on Types for Proofs and Programs
Event typeConference
LocationTallinn, EstoniaShow on map

Documents & Links