Pages that link to "Higher-order judgements"

From The Twelf Project

What links here

Page:  Namespace:  all (Main) Talk User User talk The Twelf Project The Twelf Project talk File File talk MediaWiki MediaWiki talk Template Template talk Help Help talk Category Category talk Elves Elves talk Proving metatheorems Proving metatheorems talk

Filters

Hide transclusions | Hide links | Hide redirects

The following pages link to Higher-order judgements:

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

• Substitution lemma (← links)
• Exchange lemma (← links)
• Weakening lemma (← links)
• LF (← links)
• Higher-order judgment (redirect page) (← links)
  • Type family (← links)
  • Higher-order abstract syntax (← links)
  • Simply-typed lambda calculus (← links)
  • Explicit context (← links)
  • Hypothetical judgment (← links)
  • Adequacy (← links)
• Higher-order judgments (redirect page) (← links)
• Higher-order judgement (redirect page) (← links)
  • Judgment (← links)
  • Glossary (← links)
  • Reformulating languages to use hypothetical judgements (← links)
• Ask Twelf Elf:Short answers (← links)
• Reformulating languages to use hypothetical judgements (← links)
• Summer school 2008:Arithmetic expressions with let-binding (hypothetical evaluation) (← links)

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