Normalisation Control in Deep Inference via Atomic Flows. - Alessio Guglielmi; Tom Gundersen (Log. Methods Comput. Sci., 2008)

A General View of Normalisation through Atomic Flows. - Tom Gundersen (2009)

Breaking Paths in Atomic Flows for Classical Logic. - Alessio Guglielmi; Tom Gundersen; Lutz Straßburger (LICS, 2010)

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. - Paola Bruscoli; Alessio Guglielmi; Tom Gundersen; Michel Parigot (LPAR (Dakar), 2010)

A Proof Calculus Which Reduces Syntactic Bureaucracy. - Alessio Guglielmi; Tom Gundersen; Michel Parigot (RTA, 2010)

A Tentative Atomic Calculus for Natural Deduction. - Tom Gundersen; Michel Parigot (TABLEAUX (Workshops, Tutorials, and Short Papers), 2011)

Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. - Tom Gundersen; Willem Heijltjes; Michel Parigot (LICS, 2013)

A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. - Tom Gundersen; Willem Heijltjes; Michel Parigot (LPAR, 2013)

Nabla-net: A Deep Dag-Like Convolutional Architecture for Biomedical Image Segmentation. - Richard McKinley; Rik Wepfer; Tom Gundersen; Franca Wagner; Andrew Chan; Roland Wiest; Mauricio Reyes 001 (BrainLes@MICCAI, 2016)

Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae - Paola Bruscoli; Alessio Guglielmi; Tom Gundersen; Michel Parigot (Log. Methods Comput. Sci., 2016)

Spinal Atomic Lambda-Calculus. - David Sherratt; Willem Heijltjes; Tom Gundersen; Michel Parigot (FoSSaCS, 2020)