Tom Gundersen

Available identifiers

zbMath Open gundersen.tomMaRDI QIDQ2200850

List of research outcomes

Publication	Date of Publication	Type
Spinal atomic \(\lambda\)-calculus	2020-09-23	Paper
Atomic Lambda Calculus: A Typed Lambda-Calculus with Explicit Sharing	2017-07-03	Paper
Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae	2016-07-06	Paper
A Proof of Strong Normalisation of the Typed Atomic Lambda-Calculus	2014-01-17	Paper
A Proof Calculus Which Reduces Syntactic Bureaucracy	2012-04-25	Paper
A Quasipolynomial Cut-Elimination Procedure in Deep Inference via Atomic Flows and Threshold Formulae	2011-01-07	Paper
Normalisation Control in Deep Inference via Atomic Flows	2008-08-07	Paper

Research outcomes over time

This page was built for person: Tom Gundersen