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  4823 reads

Browse archivesActive forum topics 
Recent comments
5 hours 35 min ago
10 hours 20 min ago
1 day 10 hours ago
1 day 12 hours ago
1 day 18 hours ago
2 days 11 hours ago
2 days 19 hours ago
3 days 6 hours ago
3 days 8 hours ago
3 days 8 hours ago