Popular pages

Showing below up to 50 results starting with #1.

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)

1. Main Page ‎(90,694 views)
2. Tutorials ‎(13,583 views)
3. Download ‎(11,397 views)
4. Introductions to Twelf ‎(10,636 views)
5. About The Twelf Project ‎(10,535 views)
6. Documentation ‎(10,116 views)
7. POPL Tutorial ‎(8,643 views)
8. Case studies ‎(8,078 views)
9. Proving metatheorems with Twelf ‎(7,967 views)
10. Glossary ‎(7,898 views)
11. Implicit and explicit parameters ‎(6,408 views)
12. What's new ‎(6,347 views)
13. General description of Twelf ‎(6,102 views)
14. Research projects using Twelf ‎(5,608 views)
15. Ask Twelf Elf ‎(5,570 views)
16. Bibliography of LF ‎(5,543 views)
17. Object logic ‎(5,310 views)
18. Equality ‎(5,148 views)
19. Respects lemma ‎(5,118 views)
20. Summer school 2008 ‎(5,069 views)
21. %worlds ‎(4,889 views)
22. Metatheorem ‎(4,885 views)
23. Lists ‎(4,763 views)
24. Twelf Live ‎(4,682 views)
25. Substitution lemma ‎(4,507 views)
26. Simply-typed lambda calculus ‎(4,382 views)
27. Judgment ‎(4,263 views)
28. Structural metrics ‎(4,250 views)
29. Admissibility of cut ‎(4,197 views)
30. Lax logic ‎(3,846 views)
31. Eta-equivalence ‎(3,813 views)
32. Twelf style guide ‎(3,803 views)
33. Intrinsic and extrinsic encodings ‎(3,715 views)
34. Lily ‎(3,681 views)
35. Uniqueness lemma ‎(3,599 views)
36. %mode ‎(3,570 views)
37. Concrete representation ‎(3,568 views)
38. %freeze ‎(3,564 views)
39. CPS conversion ‎(3,522 views)
40. Natural numbers ‎(3,448 views)
41. Coverage checking ‎(3,438 views)
42. Incremental metatheorem development ‎(3,236 views)
43. %terminates ‎(3,183 views)
44. Linear logic ‎(3,163 views)
45. Higher-order judgements ‎(3,154 views)
46. Output factoring ‎(3,147 views)
47. LF ‎(3,126 views)
48. Effectiveness lemma ‎(3,114 views)
49. Beta-equivalence ‎(3,061 views)
50. Adequacy ‎(2,955 views)

View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)