Pages that link to "Twelf"
From HandWiki
← Twelf
The following pages link to Twelf:
Displayed 14 items.
View (previous 50 | next 50) (20 | 50 | 100 | 250 | 500)- Standard ML (← links)
- Unification (computer science) (← links)
- Higher-order abstract syntax (← links)
- Dependent type (← links)
- Interactive Theorem Proving (conference) (← links)
- Automated theorem proving (← links)
- Logical framework (← links)
- Proof assistant (← links)
- Type theory (← links)
- POPLmark challenge (← links)
- Biography:Frank Pfenning (← links)
- Biography:Per Martin-Löf (← links)
- Software:Isabelle (proof assistant) (← links)
- Software:List of open-source software for mathematics (← links)