| Normalisation control in deep inference via atomic flows A Guglielmi, T Gundersen Logical methods in computer science 4, 2008 | 107 | 2008 |
| A proof calculus which reduces syntactic bureaucracy A Guglielmi, T Gundersen, M Parigot Proceedings of the 21st International Conference on Rewriting Techniques and …, 2010 | 84 | 2010 |
| Nabla-net: A deep dag-like convolutional architecture for biomedical image segmentation R McKinley, R Wepfer, T Gundersen, F Wagner, A Chan, R Wiest, ... Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries …, 2016 | 71 | 2016 |
| Breaking paths in atomic flows for classical logic A Guglielmi, T Gundersen, L Straßburger 2010 25th Annual IEEE Symposium on Logic in Computer Science, 284-293, 2010 | 51 | 2010 |
| Atomic lambda calculus: A typed lambda-calculus with explicit sharing T Gundersen, W Heijltjes, M Parigot 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 311-320, 2013 | 45 | 2013 |
| A general view of normalisation through atomic flows T Gundersen The University of Bath, 2009 | 32 | 2009 |
| A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot International Conference on Logic for Programming Artificial Intelligence …, 2010 | 31 | 2010 |
| Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae P Bruscoli, A Guglielmi, T Gundersen, M Parigot Logical Methods in Computer Science 12, 2016 | 16 | 2016 |
| A proof of strong normalisation of the typed atomic lambda-calculus T Gundersen, W Heijltjes, M Parigot Logic for Programming, Artificial Intelligence, and Reasoning: 19th …, 2013 | 10 | 2013 |
| Quasipolynomial normalisation in deep inference via atomic flows and threshold formulae. Submitted P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 10 | 2009 |
| A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Accepted by LPAR-16 P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 7 | 2010 |
| Spinal Atomic Lambda-Calculus. D Sherratt, W Heijltjes, T Gundersen, M Parigot FoSSaCS, 582-601, 2020 | 5 | 2020 |
| Un lambda-calcul atomique T Gundersen, W Heijltjes, M Parigot JFLA-Journées francophones des langages applicatifs, 2013 | 3 | 2013 |
| A Quasipolynomial Normalisation Procedure in Deep Inference P Bruscoli, A Guglielmi, T Gundersen, M Parigot | 1 | 2011 |
| A Tentative Atomic Calculus for Natural Deduction. T Gundersen, M Parigot TABLEAUX (Workshops, Tutorials, and Short Papers), 72, 2011 | | 2011 |
| calculus which reduces syntactic bureaucracy. In: Proceedings of the 21st International Conference on Rewriting Techniques and Applications. Vol. 6. Schloss Dagstuhl-Leibniz … A Guglielmi, T Gundersen, M Parigot | | |
