Scones, Logical Relations, and Parametricity The n-Category Café

#raindrop #links

Metadata

Source URL:: https://golem.ph.utexas.edu/category/2013/04/scones_logical_relations_and_p.html
Topics:: #logical_relations

Highlights