title: A Derivation System for Uniqueness Typing authors: Erik Barendsen and Sjaak Smetsers We present two systems for first-order typing of graph expressions, in natural deduction style: conventional typing and (polymorphic) uniqueness typing. In both type systems, typing is preserved during evaluation, and types can be determined effectively.