We motivate and sketch a formulation for a system of linear dependent types, based on Benton's LNL approach, but building in this case on an integration of a linear and a non-linear dependently typed lambda-calculi. Applications are discussed to resource and asset manipulation programming languages.