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. Letrec‏‎ (4 categories)
  7. Sets and supersets‏‎ (4 categories)
  8. Output freeness‏‎ (3 categories)
  9. Fixity declaration‏‎ (3 categories)
  10. Church-Rosser via complete development‏‎ (3 categories)
  11. Zermelo Frankel‏‎ (3 categories)
  12. Sudoku‏‎ (3 categories)
  13. Natural numbers with inequality‏‎ (3 categories)
  14. Mutable state‏‎ (3 categories)
  15. %total‏‎ (3 categories)
  16. LF‏‎ (2 categories)
  17. Modes of use‏‎ (2 categories)
  18. Summer school 2008:Arithmetic expressions‏‎ (2 categories)
  19. Summer school 2008:Type safety for MinML (extrinsic encoding)‏‎ (2 categories)
  20. Evaluation contexts‏‎ (2 categories)
  21. Church-Rosser (w/ identity reduction)‏‎ (2 categories)
  22. POPL Tutorial/Sequent vs Natural Deduction: Solution‏‎ (2 categories)
  23. POPL Tutorial/Evaluation Contexts Intrinsic‏‎ (2 categories)
  24. POPL Tutorial/Typed bracket abstraction with equivalence‏‎ (2 categories)
  25. POPL Tutorial/Basics Answer‏‎ (2 categories)
  26. Computation and Deduction 2009/20090209‏‎ (2 categories)
  27. C machine and focusing (internalized compositon)‏‎ (2 categories)
  28. Computation and Deduction 2009/20090408‏‎ (2 categories)
  29. Iterated Let Bindings‏‎ (2 categories)
  30. TAT/church.elf‏‎ (2 categories)
  31. Type family‏‎ (2 categories)
  32. Subordination‏‎ (2 categories)
  33. Summer school 2008:Arithmetic expressions with let-binding‏‎ (2 categories)
  34. Summer school 2008:Type safety for MinML with monadic effects‏‎ (2 categories)
  35. POPL Tutorial/Combinators (karl)‏‎ (2 categories)
  36. POPL Tutorial/Exceptions-problem‏‎ (2 categories)
  37. POPL Tutorial/Session 4 Answer‏‎ (2 categories)
  38. Typed combinators soundness and completeness‏‎ (2 categories)
  39. POPL Tutorial/Combinators Support‏‎ (2 categories)
  40. Lax logic‏‎ (2 categories)
  41. C machine and focusing (composition in machine state)‏‎ (2 categories)
  42. Computation and Deduction 2009/20090413‏‎ (2 categories)
  43. MinMLToMinHaskell‏‎ (2 categories)
  44. CADE Tutorial/Basics Answer‏‎ (2 categories)
  45. Syntax (Object logic)‏‎ (2 categories)
  46. Weakening lemma‏‎ (2 categories)
  47. CPS conversion‏‎ (2 categories)
  48. TwelfTag‏‎ (2 categories)
  49. World subsumption‏‎ (2 categories)
  50. Focusing‏‎ (2 categories)

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