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. Correctness of mergesort‏‎ (4 categories)
  3. %subord‏‎ (4 categories)
  4. POPL Tutorial/Pattern matching‏‎ (4 categories)
  5. Pattern matching‏‎ (4 categories)
  6. Sets and supersets‏‎ (4 categories)
  7. Letrec‏‎ (4 categories)
  8. Zermelo Frankel‏‎ (3 categories)
  9. Church-Rosser via complete development‏‎ (3 categories)
  10. Natural numbers with inequality‏‎ (3 categories)
  11. Sudoku‏‎ (3 categories)
  12. Mutable state‏‎ (3 categories)
  13. %total‏‎ (3 categories)
  14. Output freeness‏‎ (3 categories)
  15. Fixity declaration‏‎ (3 categories)
  16. MinMLToMinHaskell‏‎ (2 categories)
  17. CADE Tutorial/Basics Answer‏‎ (2 categories)
  18. Syntax (Object logic)‏‎ (2 categories)
  19. Weakening lemma‏‎ (2 categories)
  20. CPS conversion‏‎ (2 categories)
  21. TwelfTag‏‎ (2 categories)
  22. Subordination‏‎ (2 categories)
  23. Summer school 2008:Arithmetic expressions with let-binding‏‎ (2 categories)
  24. Summer school 2008:Type safety for MinML with monadic effects‏‎ (2 categories)
  25. POPL Tutorial/Combinators (karl)‏‎ (2 categories)
  26. POPL Tutorial/Exceptions-problem‏‎ (2 categories)
  27. POPL Tutorial/Session 4 Answer‏‎ (2 categories)
  28. Typed combinators soundness and completeness‏‎ (2 categories)
  29. POPL Tutorial/Combinators Support‏‎ (2 categories)
  30. Lax logic‏‎ (2 categories)
  31. C machine and focusing (composition in machine state)‏‎ (2 categories)
  32. Computation and Deduction 2009/20090413‏‎ (2 categories)
  33. Modally Propositional Logic‏‎ (2 categories)
  34. CADE Tutorial/MinML encoding‏‎ (2 categories)
  35. %trustme‏‎ (2 categories)
  36. Judgment‏‎ (2 categories)
  37. Division over the natural numbers‏‎ (2 categories)
  38. Lily‏‎ (2 categories)
  39. Classical S5‏‎ (2 categories)
  40. World subsumption‏‎ (2 categories)
  41. Focusing‏‎ (2 categories)
  42. Summer school 2008:Arithmetic expressions with call-by-value let-binding‏‎ (2 categories)
  43. Summer school 2008:Type safety for MinML with monadic effects (putngetn)‏‎ (2 categories)
  44. POPL Tutorial/cps‏‎ (2 categories)
  45. POPL Tutorial/Big step, small step: Solution‏‎ (2 categories)
  46. POPL Tutorial/Session 2 Answer‏‎ (2 categories)
  47. POPL Tutorial/Session 2 Starter‏‎ (2 categories)
  48. POPL Tutorial/Nat‏‎ (2 categories)
  49. POPL Tutorial/Combinators Answer‏‎ (2 categories)
  50. Computation and Deduction 2009/20090223‏‎ (2 categories)

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