BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Serbia
Collaborated with:
N.B.B.Grathwohl J.Ketema J.G.Simonsen
Talks about:
calculus (1) anagopo (1) visual (1) rewrit (1) reduct (1) graph (1) term (1)

Person: Jens Duelund Pallesen

DBLP DBLP: Pallesen:Jens_Duelund

Contributed to:

RTA 20112011

Wrote 1 papers:

RTA-2011-GrathwohlKPS #graph #named #reduction #term rewriting #visualisation #λ-calculus
Anagopos: A Reduction Graph Visualizer for Term Rewriting and λ Calculus (NBBG, JK, JDP, JGS), pp. 61–70.
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.