Tom Gundersen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2020
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2020 | FOSSACS | Spinal Atomic Lambda-Calculus. | David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot |
| 2016 | MICCAI | 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 |
| 2013 | LICS | Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing. | Tom Gundersen, Willem Heijltjes, Michel Parigot |
| 2013 | LPAR | A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus. | Tom Gundersen, Willem Heijltjes, Michel Parigot |
| 2011 | TABLEAUX | A Tentative Atomic Calculus for Natural Deduction. | Tom Gundersen, Michel Parigot |
| 2010 | LICS | Breaking Paths in Atomic Flows for Classical Logic. | Alessio Guglielmi, Tom Gundersen, Lutz Straburger |
| 2010 | LPAR | A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae. | Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot |