BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Gundersen:Tom

Contributed to:

LICS 20132013
LICS 20102010
RTA 20102010

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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.