Tom Gundersen
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Spinal atomic \(\lambda\)-calculus | 2020-09-23 | Paper |
| Atomic lambda calculus: a typed lambda-calculus with explicit sharing 2013 28th Annual ACM/IEEE Symposium on Logic in Computer Science | 2017-07-03 | Paper |
| Quasipolynomial Normalisation in Deep Inference via Atomic Flows and Threshold Formulae Logical Methods in Computer Science | 2016-07-06 | Paper |
| A proof of strong normalisation of the typed atomic lambda-calculus Logic for Programming, Artificial Intelligence, and Reasoning | 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 Logic for Programming, Artificial Intelligence, and Reasoning | 2011-01-07 | Paper |
| Normalisation Control in Deep Inference via Atomic Flows Logical Methods in Computer Science | 2008-08-07 | Paper |
Research outcomes over time
This page was built for person: Tom Gundersen
