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 × Sweden
1 × The Netherlands
Collaborated with:
C.Grabmayer
Talks about:
calculus (2) express (1) letrec (1) share (1) maxim (1)

Person: Jan Rochel

DBLP DBLP: Rochel:Jan

Contributed to:

ICFP 20142014
RTA 20132013

Wrote 2 papers:

ICFP-2014-GrabmayerR #λ-calculus
Maximal sharing in the λ calculus with letrec (CG, JR), pp. 67–80.
RTA-2013-GrabmayerR #λ-calculus #μ-calculus
Expressibility in the λ Calculus with μ (CG, JR), pp. 206–222.

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.