Short 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) ‎Computation and Deduction 2009/Test Page 1 ‎[70 bytes]
  2. (hist) ‎MediaWiki formatting description ‎[109 bytes]
  3. (hist) ‎POPL Tutorial/Session 2 ‎[124 bytes]
  4. (hist) ‎Ambiguous hyperkind ‎[126 bytes]
  5. (hist) ‎POPL Tutorial/Combinators ‎[126 bytes]
  6. (hist) ‎CADE Tutorial/Combinators ‎[127 bytes]
  7. (hist) ‎CADE Tutorial/Basics ‎[130 bytes]
  8. (hist) ‎CADE Tutorial/MinML ‎[144 bytes]
  9. (hist) ‎Function ‎[192 bytes]
  10. (hist) ‎POPL Tutorial/Basics ‎[286 bytes]
  11. (hist) ‎POPL Tutorial/MinML ‎[294 bytes]
  12. (hist) ‎Relation ‎[332 bytes]
  13. (hist) ‎POPL Tutorial/Session 4 ‎[361 bytes]
  14. (hist) ‎%use ‎[378 bytes]
  15. (hist) ‎World subsumption ‎[383 bytes]
  16. (hist) ‎%trustme ‎[385 bytes]
  17. (hist) ‎Twelf signature ‎[391 bytes]
  18. (hist) ‎Dependent types ‎[395 bytes]
  19. (hist) ‎%querytabled ‎[428 bytes]
  20. (hist) ‎%establish ‎[474 bytes]
  21. (hist) ‎%subord ‎[506 bytes]
  22. (hist) ‎%tabled ‎[511 bytes]
  23. (hist) ‎%prove ‎[526 bytes]
  24. (hist) ‎Syntax (Object logic) ‎[595 bytes]
  25. (hist) ‎Mailing lists ‎[602 bytes]
  26. (hist) ‎%thaw ‎[615 bytes]
  27. (hist) ‎User's Guide ‎[642 bytes]
  28. (hist) ‎Computation and Deduction 2009/20090304-support ‎[653 bytes]
  29. (hist) ‎Meta-logic ‎[681 bytes]
  30. (hist) ‎Congruence relation ‎[693 bytes]
  31. (hist) ‎POPL Tutorial/Session 2 Starter ‎[734 bytes]
  32. (hist) ‎Ad hoc binding structures ‎[739 bytes]
  33. (hist) ‎%. ‎[751 bytes]
  34. (hist) ‎Fixity declaration ‎[774 bytes]
  35. (hist) ‎Object logic ‎[798 bytes]
  36. (hist) ‎Type family ‎[816 bytes]
  37. (hist) ‎%clause ‎[823 bytes]
  38. (hist) ‎Alpha-equivalence ‎[901 bytes]
  39. (hist) ‎Unification ‎[907 bytes]
  40. (hist) ‎%theorem ‎[928 bytes]
  41. (hist) ‎PLTheory:Introduction to Twelf ‎[961 bytes]
  42. (hist) ‎Summer school 2008:Exercises 2 ‎[977 bytes]
  43. (hist) ‎Abstract syntax ‎[995 bytes]
  44. (hist) ‎Unsafe mode ‎[1,023 bytes]
  45. (hist) ‎Ground ‎[1,043 bytes]
  46. (hist) ‎Introductions to Twelf ‎[1,066 bytes]
  47. (hist) ‎TAT/plus.elf ‎[1,073 bytes]
  48. (hist) ‎Define declaration ‎[1,091 bytes]
  49. (hist) ‎Abbrev declaration ‎[1,097 bytes]
  50. (hist) ‎POPL Tutorial/cps ‎[1,150 bytes]

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