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: Rochel:Jan
Contributed to:
2014
2013Wrote 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.