For a class of degenerate pseudodifferential operators, local parametrices are constructed. This is done in the framework of a pseudodifferential calculus upon adding conditions of trace and potential type, respectively, along the boundary on which the operators degenerate.
The local theory of asymptotic types is elaborated. It appears as coordinate-free version of part of GOHBERG-SIGAL's theory of the inversion of finitely meromorphic, operator-valued functions at a point.