Research

Items by Gundersen, Tom

Up a level
Export as [feed] RSS 1.0 [feed] Atom [feed] RSS 2.0
Group by: Item Type | Date | No Grouping
Number of items: 4.

Articles

Conference or Workshop Items

Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A proof calculus which reduces syntactic bureaucracy. Dagstuhl, Germany: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 135-150.

Bruscoli, P., Guglielmi, A., Gundersen, T. and Parigot, M., 2010. A quasipolynomial cut-elimination procedure in deep inference via atomic flows and threshold formulae. Berlin: Springer, pp. 136-153. (Lecture Notes in Computer Science; 6355)

Thesis

Gundersen, T. E., 2009. A general view of normalisation through atomic flows. Thesis (Doctor of Philosophy (PhD)). University of Bath.

This list was generated on Thu Feb 11 17:39:55 2016 GMT.