Pages with the most categories

From The Twelf Project
Jump to: navigation, search

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)