Wanted pages

Showing below up to 50 results starting with #1.

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

1. Subgoal ‎(5 links)
2. Lexicographic induction ‎(5 links)
3. Inversion ‎(4 links)
4. Invalid title in result set:
5. Spine form ‎(3 links)
6. Splitting ‎(3 links)
7. Metavariable ‎(2 links)
8. Common patterns and pitfalls ‎(2 links)
9. Kind ‎(2 links)
10. Higher-order encodings ‎(2 links)
11. Reversing the polarity ‎(2 links)
12. Subterm ‎(2 links)
13. LFPL:Chapter 10 ‎(1 link)
14. LFPL:Chapter 9 ‎(1 link)
15. Focused lax logic ‎(1 link)
16. Um.elf ‎(1 link)
17. LFPL:Chapter 11 ‎(1 link)
18. Type safety ‎(1 link)
19. Logical Foundations of Programming Languages ‎(1 link)
20. Elf ‎(1 link)
21. Closure conversion ‎(1 link)
22. Proof term ‎(1 link)
23. LFPL:Chapter 12 ‎(1 link)
24. Church-Rosser (alternate substitution theorem) ‎(1 link)
25. Types and Programming Languages ‎(1 link)
26. Encoding ‎(1 link)
27. Reading a Twelf proof ‎(1 link)
28. Talk:%subord ‎(1 link)
29. LFPL:Chapter 14 ‎(1 link)
30. Subordinate ‎(1 link)
31. Type level definitions ‎(1 link)
32. Not a page ‎(1 link)
33. LFPL:Chapter 15 ‎(1 link)
34. Computation and Deduction 2009/20090316-sol ‎(1 link)
35. AML proof ‎(1 link)
36. Meta-theorems ‎(1 link)
37. Sets of natural numbers ‎(1 link)
38. Twelf server ‎(1 link)
39. LFPL:Chapter 16 ‎(1 link)
40. Finite failure ‎(1 link)
41. Explicit contexts ‎(1 link)
42. Elves:Server ‎(1 link)
43. Definition ‎(1 link)
44. LFPL:Chapter 4 ‎(1 link)
45. Subgoals ‎(1 link)
46. Variable binding ‎(1 link)
47. Continuation passing style ‎(1 link)
48. LFPL:Chapter 5 ‎(1 link)
49. Configuration file ‎(1 link)
50. Proving metatheorems:Representing the judgments of the natural numbers ‎(1 link)

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