Pages that link to "Introductions to Twelf"
From The Twelf Project
The following pages link to Introductions to Twelf:
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Main Page (← links)
- Documentation (← links)
- Tutorials (← links)
- Type family (← links)
- Syntax (Object logic) (← links)
- Judgment (← links)
- Template:The Twelf Project/Getting Started (← links)
- Twelf signature (← links)
- %total (← links)
- Talk:Proving metatheorems with Twelf (← links)
- LF (← links)
- Higher-order judgements (← links)
- Canonical form (← links)
- PLTheory:Introduction to Twelf (← links)
- POPL Tutorial/Next (← links)
- CADE Tutorial/Next (← links)