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. Zermelo Frankel‏‎ (3 categories)
  9. Sudoku‏‎ (3 categories)
  10. Fixity declaration‏‎ (3 categories)
  11. Mutable state‏‎ (3 categories)
  12. Output freeness‏‎ (3 categories)
  13. %total‏‎ (3 categories)
  14. Church-Rosser via complete development‏‎ (3 categories)
  15. Natural numbers with inequality‏‎ (3 categories)
  16. C machine and focusing (internalized compositon)‏‎ (2 categories)
  17. Computation and Deduction 2009/20090203‏‎ (2 categories)
  18. Computation and Deduction 2009/20090325‏‎ (2 categories)
  19. Computation and Deduction 2009/20090422‏‎ (2 categories)
  20. Hereditary substitution‏‎ (2 categories)
  21. Judgment‏‎ (2 categories)
  22. Meta-logic‏‎ (2 categories)
  23. POPL Tutorial/Big step, small step: Solution‏‎ (2 categories)
  24. POPL Tutorial/Combinators session (answers)‏‎ (2 categories)
  25. POPL Tutorial/MinML Preservation Theorem: Solution‏‎ (2 categories)
  26. POPL Tutorial/Session 2 Answer‏‎ (2 categories)
  27. POPL Tutorial/Typed bracket abstraction with equivalence‏‎ (2 categories)
  28. Subordination‏‎ (2 categories)
  29. Summer school 2008:Encoding of System F‏‎ (2 categories)
  30. Summer school 2008:Typed arithmetic expressions (value)‏‎ (2 categories)
  31. Tactical theorem proving‏‎ (2 categories)
  32. User's Guide‏‎ (2 categories)
  33. CADE Tutorial/Basics Answer‏‎ (2 categories)
  34. Canonical form‏‎ (2 categories)
  35. Computation and Deduction 2009/20090204‏‎ (2 categories)
  36. Computation and Deduction 2009/20090330‏‎ (2 categories)
  37. Computation and Deduction 2009/20090427‏‎ (2 categories)
  38. Dependent types‏‎ (2 categories)
  39. Evaluation contexts‏‎ (2 categories)
  40. Hereditary substitution for the STLC‏‎ (2 categories)
  41. LF‏‎ (2 categories)
  42. MinMLToMinHaskell‏‎ (2 categories)
  43. Numeric termination metrics‏‎ (2 categories)
  44. POPL Tutorial/CPS Solution2‏‎ (2 categories)
  45. POPL Tutorial/Control machine‏‎ (2 categories)
  46. POPL Tutorial/MinML Starter‏‎ (2 categories)
  47. POPL Tutorial/Session 2 Script‏‎ (2 categories)
  48. POPL Tutorial/cps‏‎ (2 categories)
  49. Relation‏‎ (2 categories)
  50. Summer school 2008:Type safety for MinML (extrinsic encoding)‏‎ (2 categories)

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