`Travelled to:`

1 × USA

2 × United Kingdom

`Collaborated with:`

M.Parigot A.Guglielmi W.Heijltjes L.Straßburger

`Talks about:`

calculus (3) atom (2) bureaucraci (1) explicit (1) syntact (1) classic (1) which (1) share (1) reduc (1) proof (1)

## Person: Tom Gundersen

### DBLP: Gundersen:Tom

### Contributed to:

### Wrote 3 papers:

- LICS-2013-GundersenHP #λ-calculus
- Atomic λ Calculus: A Typed λ-Calculus with Explicit Sharing (TG, WH, MP), pp. 311–320.
- LICS-2010-GuglielmiGS #logic
- Breaking Paths in Atomic Flows for Classical Logic (AG, TG, LS), pp. 284–293.
- RTA-2010-GuglielmiGP #calculus #proving
- A Proof Calculus Which Reduces Syntactic Bureaucracy (AG, TG, MP), pp. 135–150.