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

Browse archivesActive forum topics 
Recent comments
6 min 14 sec ago
4 hours 11 min ago
5 hours 11 min ago
6 hours 37 min ago
6 hours 49 min ago
7 hours 42 min ago
9 hours 17 min ago
10 hours 52 min ago
11 hours 9 min ago
17 hours 29 min ago