User loginNavigation 
The Theory of Parametricity in Lambda Cube
Parametricity is Wadler gets his theorems for free, nad Izumi gives an example of one of these free theorems for dependent sums in the Calculus of Constructions. By Jim Apple at 20061127 13:52  Lambda Calculus  Semantics  Type Theory  other blogs  4705 reads

Browse archivesActive forum topics 
Recent comments
7 hours 39 min ago
8 hours 40 min ago
16 hours 20 min ago
1 day 13 hours ago
1 day 19 hours ago
2 days 12 hours ago
2 days 13 hours ago
2 days 14 hours ago
2 days 14 hours ago
2 days 14 hours ago