Uncategorized pages

Showing below up to 50 results starting with #1.

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

1. %covers
2. %terminates
3. About The Twelf Project
4. Abstract syntax
5. Ad hoc binding structures
6. Alpha-equivalence
7. Ambiguous hyperkind
8. Ask Twelf Elf
9. Ask Twelf Elf:Short answers
10. Beta-equivalence
11. Case studies
12. Computation and Deduction 2009
13. Computation and Deduction 2009/Test Page 1
14. Congruence relation
15. Constraint domain
16. ConstructiveSemantics
17. Coverage checking
18. Documentation
19. Download
20. Eta-equivalence
21. First-order encodings
22. General description of Twelf
23. Glossary
24. Ground
25. Higher-order abstract syntax
26. Hypothetical judgment
27. Implicit and explicit parameters
28. Indexed lists
29. Intrinsic and extrinsic encodings
30. Introductions to Twelf
31. Iterated inductive definitions and defunctionalization
32. Lax logic
33. Logic programming
34. Mailing lists
35. Main Page
36. Manipulating proof witnesses as inputs
37. MediaWiki formatting description
38. Metatheorem
39. Modal logic
40. Natural numbers
41. PLTheory:Introduction to Twelf
42. POPL Tutorial
43. POPL Tutorial/Basic error messages
44. POPL Tutorial/Basics
45. POPL Tutorial/CPS
46. POPL Tutorial/Combinators
47. POPL Tutorial/MinML
48. POPL Tutorial/Next
49. POPL Tutorial/Problems
50. POPL Tutorial/Properties of Typing and Reduction

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