Tom Gundersen

According to our database, Tom Gundersen authored at least 11 papers between 2008 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2020

Spinal Atomic Lambda-Calculus.

David Sherratt, Willem Heijltjes, Tom Gundersen, Michel Parigot

Proceedings of the Foundations of Software Science and Computation Structures, 2020

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

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

Proceedings of the Brainlesion: Glioma, Multiple Sclerosis, Stroke and Traumatic Brain Injuries, 2016

2013

A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus.

Tom Gundersen, Willem Heijltjes, Michel Parigot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013

Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing.

Tom Gundersen, Willem Heijltjes, Michel Parigot

Proceedings of the 28th Annual ACM/IEEE Symposium on Logic in Computer Science, 2013

2011

A Tentative Atomic Calculus for Natural Deduction.

Tom Gundersen, Michel Parigot

Proceedings of the TABLEAUX 2011, 2011

2010

A Proof Calculus Which Reduces Syntactic Bureaucracy.

Alessio Guglielmi, Tom Gundersen, Michel Parigot

Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae.

Paola Bruscoli, Alessio Guglielmi, Tom Gundersen, Michel Parigot

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2010

Breaking Paths in Atomic Flows for Classical Logic.

Alessio Guglielmi, Tom Gundersen, Lutz Straßburger

Proceedings of the 25th Annual IEEE Symposium on Logic in Computer Science, 2010

2009

A General View of Normalisation through Atomic Flows.

Tom Gundersen

PhD thesis, 2009

2008

Normalisation Control in Deep Inference via Atomic Flows.

Alessio Guglielmi, Tom Gundersen

Log. Methods Comput. Sci., 2008