Pages with the fewest revisions

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. POPL Tutorial/Session 2 Starter‏‎ (2 revisions)
  2. Developers‏‎ (2 revisions - redirect page)
  3. Twelf-list‏‎ (2 revisions - redirect page)
  4. POPL Tutorial/Pattern matching‏‎ (2 revisions)
  5. Proofs by reductio ad absurdum‏‎ (2 revisions - redirect page)
  6. %subord‏‎ (2 revisions)
  7. Congruence lemmas‏‎ (2 revisions - redirect page)
  8. Typed combinators soundness and completeness‏‎ (2 revisions)
  9. Using nat-less with %reduces‏‎ (2 revisions)
  10. Ground‏‎ (2 revisions)
  11. World subsumption‏‎ (2 revisions)
  12. Autofreeze‏‎ (2 revisions - redirect page)
  13. Church-Rosser (w/ catch-all case)‏‎ (2 revisions)
  14. Unary numbers‏‎ (2 revisions - redirect page)
  15. Quick introduction‏‎ (2 revisions - redirect page)
  16. Deductive system‏‎ (2 revisions - redirect page)
  17. The Best Fake cigarette Sold in the market‏‎ (2 revisions)
  18. Summer school 2008:Type safety for MinML (extrinsic encoding)‏‎ (2 revisions)
  19. POPL Tutorial/Control machine‏‎ (2 revisions)
  20. POPL Tutorial/cps-rp‏‎ (2 revisions)
  21. Computation and Deduction 2009/20090304‏‎ (2 revisions)
  22. Deductive systems‏‎ (2 revisions - redirect page)
  23. %thaw‏‎ (2 revisions)
  24. Respects lemmas‏‎ (2 revisions - redirect page)
  25. POPL Tutorial/cps-truefalse‏‎ (2 revisions)
  26. Eta-long‏‎ (2 revisions - redirect page)
  27. Real World Binding Structures‏‎ (2 revisions - redirect page)
  28. Hereditary substitution‏‎ (2 revisions)
  29. Summer school 2008:Type safety for MinML with monadic effects (putngetn)‏‎ (2 revisions)
  30. Negation as failure‏‎ (2 revisions)
  31. ConstructiveSemantics‏‎ (2 revisions)
  32. Evaluation contexts‏‎ (2 revisions)
  33. %prove‏‎ (2 revisions)
  34. Numeric termination metric‏‎ (2 revisions - redirect page)
  35. POPL Tutorial/Exceptions‏‎ (2 revisions)
  36. POPL Tutorial/Session 2‏‎ (2 revisions)
  37. CADE Tutorial/Combinators‏‎ (2 revisions)
  38. Ambiguous hyperkind‏‎ (2 revisions)
  39. Unsafe mode‏‎ (2 revisions)
  40. Regular world‏‎ (2 revisions - redirect page)
  41. Summer school 2008:Typed arithmetic expressions (extrinsic encoding)‏‎ (2 revisions)
  42. Iterated Let Bindings‏‎ (2 revisions)
  43. POPL Tutorial/cps‏‎ (2 revisions)
  44. Signatures as logic programs‏‎ (2 revisions)
  45. Equivalence relation‏‎ (2 revisions)
  46. %solve‏‎ (3 revisions)
  47. CADE Tutorial/MinML‏‎ (3 revisions)
  48. Relation‏‎ (3 revisions)
  49. POPL Tutorial/Combinators Support‏‎ (3 revisions)
  50. Type family‏‎ (3 revisions)

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