Induction on Concurrent Terms. - Anders Schack-Nielsen (LFMTP@CADE, 2007)

Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). - Anders Schack-Nielsen; Carsten Schürmann (IJCAR, 2008)

Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. - Anders Schack-Nielsen; Carsten Schürmann 001 (IJCAR, 2010)

Pattern Unification for the Lambda Calculus with Linear and Affine Types - Anders Schack-Nielsen; Carsten Schürmann (LFMTP, 2010)

Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces. - Martin Elsman; Anders Schack-Nielsen (PADL, 2014)