User loginNavigation 
Deadend theoremsDefine deadend theorems to be theorems that are not used to prove other results. What percentage of proofs in PLT papers are of deadend theorems? For example, a type soundness result is not often used to prove more fundamental results. It is just a "house keeping" theorem. Does this percentage tell us anything important? By Ehud Lamm at 20080602 06:01  LtU Forum  previous forum topic  next forum topic  other blogs  4010 reads

Browse archivesActive forum topics 
Recent comments
2 days 2 hours ago
2 days 3 hours ago
2 days 20 hours ago
6 days 15 hours ago
6 days 21 hours ago
6 days 23 hours ago
1 week 9 hours ago
1 week 2 days ago
1 week 3 days ago
1 week 3 days ago