Tom Gundersen

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