• Introduction
• PART 1: Parameter dependency from incomplete refunctionalization
• PART 2a: Existential variables are linear resources
• PART 2b: Parameter dependency in Twelf
• PART 3: Parameter dependency in queries