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:
20132010
2010Wrote 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.