List of redirects
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)
- %infix → Fixity declaration
- %postfix → Fixity declaration
- %prefix → Fixity declaration
- Adequate → Adequacy
- Ask Twelf Elf:Short Answers → Ask Twelf Elf:Short answers
- Auto-freezing → %freeze
- Autofreeze → %freeze
- Beta-equivalent → Beta-equivalence
- Beta-normal → Beta-equivalence
- Beta-reduction → Beta-equivalence
- Beta equivalence → Beta-equivalence
- Beta equivalent → Beta-equivalence
- Block → %block
- Blocks → %block
- Canonical forms → Canonical form
- Church-Rosser via Complete Development → Church-Rosser via complete development
- Compatibility lemma → Respects lemma
- Compositional bijection → Adequacy
- Concrete representations → Concrete representation
- Congruence lemma → Respects lemma
- Congruence lemmas → Respects lemma
- Constraint domains → Constraint domain
- Cut → Admissibility of cut
- Cut elimination → Admissibility of cut
- Deductive system → Object logic
- Deductive systems → Object logic
- Deep equality → Equality
- Dense lexicographical orderings → Lexicographical orderings with density
- Dependent type → Dependent types
- Developers → About The Twelf Project
- Editing Summer school 2008:Alternate typed arithmetic expressions with sums → Summer school 2008:Alternate typed arithmetic expressions with sums
- Effectiveness → Effectiveness lemma
- Effectiveness lemmas → Effectiveness lemma
- Equivalence relations → Equality
- Eta-expansion → Eta-equivalence
- Eta-long → Eta-equivalence
- Eta-long form → Eta-equivalence
- Exchange → Exchange lemma
- Explicit parameter → Implicit and explicit parameters
- Extrinsic encoding → Intrinsic and extrinsic encodings
- Factoring → Output factoring
- Freeze → %freeze
- Frozen → %freeze
- Function (relation) → Function
- General Description of Twelf → General description of Twelf
- Hauptsatz → Admissibility of cut
- Hereditary substitution with zippers → Hereditary substitution with a zipper
- Heterogeneous lists → Lists
- Higher-order judgement → Higher-order judgements
- Higher-order judgment → Higher-order judgements
