Tom Gundersen

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 3

Top Venues

FoSSaCS

LICS

Log. Methods Comput. Sci.

LPAR

University of Bath, UK (PHD)

Education History

University of Bath, UK

PHD

Publications

David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot
Spinal Atomic Lambda-Calculus. FoSSaCS (2020)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Log. Methods Comput. Sci. 12 (2) (2016)
Richard McKinley, Rik Wepfer, Tom Gundersen, Franca Wagner, Andrew Chan, Roland Wiest, Mauricio Reyes
Nabla-net: A Deep Dag-Like Convolutional Architecture for Biomedical Image Segmentation. BrainLes@MICCAI (2016)
Tom Gundersen, Willem Heijltjes, Michel Parigot
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. LPAR (2013)
Tom Gundersen, Willem Heijltjes, Michel Parigot
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. LICS (2013)
Tom Gundersen, Michel Parigot
A Tentative Atomic Calculus for Natural Deduction. TABLEAUX (Workshops, Tutorials, and Short Papers) (2011)
Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. LPAR (Dakar) (2010)
Alessio Guglielmi, Tom Gundersen, Lutz Straßburger
Breaking Paths in Atomic Flows for Classical Logic. LICS (2010)
Alessio Guglielmi, Tom Gundersen, Michel Parigot
A Proof Calculus Which Reduces Syntactic Bureaucracy. RTA (2010)
Alessio Guglielmi, Tom Gundersen
Normalisation Control in Deep Inference via Atomic Flows. Log. Methods Comput. Sci. 4 (1) (2008)
Alessio Guglielmi, Tom Gundersen
Normalisation Control in Deep Inference Via Atomic Flows CoRR (2007)

Tom Gundersen.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tom Gundersen