Long pages

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. (hist) ‎Indexed HOAS nat bijection ‎[581,923 bytes]
  2. (hist) ‎HOAS nat bijection ‎[252,103 bytes]
  3. (hist) ‎Lily ‎[138,061 bytes]
  4. (hist) ‎Hereditary substitution for the STLC (part 2) ‎[60,265 bytes]
  5. (hist) ‎Lax logic ‎[58,986 bytes]
  6. (hist) ‎Focusing ‎[50,372 bytes]
  7. (hist) ‎Linear logic ‎[47,508 bytes]
  8. (hist) ‎User-defined constraint domain ‎[45,671 bytes]
  9. (hist) ‎Hereditary substitution for the STLC ‎[35,247 bytes]
  10. (hist) ‎Big algebraic solver ‎[34,556 bytes]
  11. (hist) ‎Typed combinators soundness and completeness ‎[34,269 bytes]
  12. (hist) ‎Concrete representation ‎[30,432 bytes]
  13. (hist) ‎Correctness of mergesort ‎[27,002 bytes]
  14. (hist) ‎CPS conversion ‎[26,809 bytes]
  15. (hist) ‎Bibliography of LF ‎[26,149 bytes]
  16. (hist) ‎Pattern matching ‎[25,889 bytes]
  17. (hist) ‎Classical S5 ‎[25,782 bytes]
  18. (hist) ‎First-order encodings ‎[24,657 bytes]
  19. (hist) ‎Mutable state ‎[23,976 bytes]
  20. (hist) ‎Double-negation translation ‎[19,933 bytes]
  21. (hist) ‎Weak focusing ‎[19,293 bytes]
  22. (hist) ‎POPL Tutorial/Properties of Typing and Reduction ‎[17,106 bytes]
  23. (hist) ‎POPL Tutorial/Typed bracket abstraction with equivalence ‎[16,027 bytes]
  24. (hist) ‎POPL Tutorial/Session 2 Answer ‎[15,779 bytes]
  25. (hist) ‎Debugging coverage errors ‎[15,658 bytes]
  26. (hist) ‎Computation and Deduction 2009/20090429 ‎[15,550 bytes]
  27. (hist) ‎Church-Rosser via complete development ‎[14,503 bytes]
  28. (hist) ‎Admissibility of cut ‎[14,334 bytes]
  29. (hist) ‎Signatures as logic programs ‎[13,899 bytes]
  30. (hist) ‎POPL Tutorial/Big step, small step ‎[13,631 bytes]
  31. (hist) ‎Letrec ‎[13,048 bytes]
  32. (hist) ‎Computation and Deduction 2009/20090427 ‎[12,851 bytes]
  33. (hist) ‎Reformulating languages to use hypothetical judgements ‎[12,744 bytes]
  34. (hist) ‎Verifications and uses ‎[12,598 bytes]
  35. (hist) ‎POPL Tutorial/Pattern matching ‎[12,453 bytes]
  36. (hist) ‎Church-Rosser (w/ catch-all case) ‎[12,389 bytes]
  37. (hist) ‎Twelf style guide ‎[12,303 bytes]
  38. (hist) ‎Church-Rosser (w/ identity reduction) ‎[12,141 bytes]
  39. (hist) ‎POPL Tutorial/Big step, small step: Solution ‎[12,131 bytes]
  40. (hist) ‎Substitution lemma ‎[11,973 bytes]
  41. (hist) ‎POPL Tutorial/Church Rosser (Problem) ‎[11,492 bytes]
  42. (hist) ‎Computation and Deduction 2009/20090408 ‎[11,393 bytes]
  43. (hist) ‎Metatheorem ‎[11,291 bytes]
  44. (hist) ‎Lists ‎[11,049 bytes]
  45. (hist) ‎Uniqueness lemma ‎[10,718 bytes]
  46. (hist) ‎POPL Tutorial/Cost semantics ‎[10,497 bytes]
  47. (hist) ‎Polarized PCF ‎[10,347 bytes]
  48. (hist) ‎Strengthening ‎[10,056 bytes]
  49. (hist) ‎Structural metrics ‎[9,603 bytes]
  50. (hist) ‎CADE Tutorial/Basic error messages ‎[9,399 bytes]

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