Pages with the most categories

Showing below up to 50 results in range #1 to #50.

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

1. Negation as failure‏‎ (4 categories)
2. %subord‏‎ (4 categories)
3. Letrec‏‎ (4 categories)
4. Sets and supersets‏‎ (4 categories)
5. POPL Tutorial/Pattern matching‏‎ (4 categories)
6. Pattern matching‏‎ (4 categories)
7. Correctness of mergesort‏‎ (4 categories)
8. Natural numbers with inequality‏‎ (3 categories)
9. Zermelo Frankel‏‎ (3 categories)
10. Sudoku‏‎ (3 categories)
11. Mutable state‏‎ (3 categories)
12. Output freeness‏‎ (3 categories)
13. Fixity declaration‏‎ (3 categories)
14. %total‏‎ (3 categories)
15. Church-Rosser via complete development‏‎ (3 categories)
16. Iterated Let Bindings‏‎ (2 categories)
17. POPL Tutorial/Big step, small step‏‎ (2 categories)
18. POPL Tutorial/Combinators session‏‎ (2 categories)
19. POPL Tutorial/MinML Preservation Theorem‏‎ (2 categories)
20. POPL Tutorial/Sequent vs Natural Deduction: Solution‏‎ (2 categories)
21. POPL Tutorial/Typed bracket abstraction (solution)‏‎ (2 categories)
22. Summer school 2008:Arithmetic expressions with let-binding (hypothetical evaluation)‏‎ (2 categories)
23. Summer school 2008:Typed arithmetic expressions (extrinsic encoding)‏‎ (2 categories)
24. Tabled logic programming‏‎ (2 categories)
25. World subsumption‏‎ (2 categories)
26. %reduces‏‎ (2 categories)
27. %unique‏‎ (2 categories)
28. Bracket abstraction‏‎ (2 categories)
29. C machine and focusing (composition in machine state)‏‎ (2 categories)
30. Classical S5‏‎ (2 categories)
31. Computation and Deduction 2009/20090318‏‎ (2 categories)
32. Computation and Deduction 2009/20090420‏‎ (2 categories)
33. Equivalence relation‏‎ (2 categories)
34. HOAS nat bijection‏‎ (2 categories)
35. Judgment‏‎ (2 categories)
36. Meta-logic‏‎ (2 categories)
37. POPL Tutorial/Big step, small step: Solution‏‎ (2 categories)
38. POPL Tutorial/Combinators session (answers)‏‎ (2 categories)
39. POPL Tutorial/MinML Preservation Theorem: Solution‏‎ (2 categories)
40. POPL Tutorial/Session 2 Answer‏‎ (2 categories)
41. POPL Tutorial/Typed bracket abstraction with equivalence‏‎ (2 categories)
42. Subordination‏‎ (2 categories)
43. Summer school 2008:Encoding of System F‏‎ (2 categories)
44. Summer school 2008:Typed arithmetic expressions (value)‏‎ (2 categories)
45. Tactical theorem proving‏‎ (2 categories)
46. User's Guide‏‎ (2 categories)
47. CADE Tutorial/Basics Answer‏‎ (2 categories)
48. C machine and focusing (internalized compositon)‏‎ (2 categories)
49. Computation and Deduction 2009/20090203‏‎ (2 categories)
50. Computation and Deduction 2009/20090325‏‎ (2 categories)

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