26.6.15

 

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: , ,


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

http://www.cse.chalmers.se/~mouling/share/PresheafModelParametericTT.pdf

(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?