A brief bibliography on parametricity

Henry Story asked HoTT Cafe about parametricity, prompting creation of a handy, short bibliography including Hermida, Reddy, and Robinson; Ahmed; Dreyer; Milewski (artist of the elegant diagram above); and Shulman.

Labels: , ,

Let me point out that we have recently given a cubical model for parametricity:


(It is a refinement of the cubical model used for HoTT before)
Dryer -> Dreyer?
@Unknown: Thanks. Fixed, with apologies to Derek!
Post a Comment

<< Home

This page is powered by Blogger. Isn't yours?