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

Browse archivesActive forum topics 
Recent comments
50 min 37 sec ago
6 hours 22 min ago
7 hours 35 min ago
8 hours 5 min ago
9 hours 59 min ago
14 hours 4 min ago
15 hours 4 min ago
16 hours 30 min ago
16 hours 42 min ago
17 hours 35 min ago