Uncategorized pages
From The Twelf Project
Showing below up to 50 results in range #1 to #50.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)
- %covers
- %terminates
- About The Twelf Project
- Abstract syntax
- Ad hoc binding structures
- Alpha-equivalence
- Ambiguous hyperkind
- Ask Twelf Elf
- Ask Twelf Elf:Short answers
- Beta-equivalence
- CADE Tutorial
- CADE Tutorial/Basic error messages
- CADE Tutorial/Basics
- CADE Tutorial/Combinators
- CADE Tutorial/MinML
- CADE Tutorial/Next
- Case studies
- Computation and Deduction 2009
- Computation and Deduction 2009/Test Page 1
- Congruence relation
- Constraint domain
- ConstructiveSemantics
- Coverage checking
- Documentation
- Download
- Eta-equivalence
- First-order encodings
- General description of Twelf
- Glossary
- Ground
- Higher-order abstract syntax
- Hypothetical judgment
- Implicit and explicit parameters
- Indexed lists
- Intrinsic and extrinsic encodings
- Introductions to Twelf
- Iterated inductive definitions and defunctionalization
- Logic programming
- Mailing lists
- Main Page
- Manipulating proof witnesses as inputs
- MediaWiki formatting description
- Metatheorem
- Modal logic
- Natural numbers
- PLTheory:Introduction to Twelf
- POPL Tutorial
- POPL Tutorial/Basic error messages
- POPL Tutorial/Basics
- POPL Tutorial/CPS