Travelled to:
1 × Italy
Collaborated with:
P.Boudes M.Pagani
Talks about:
character (1) taylor (1) expans (1) term (1)
Person: Fanny He
DBLP: He:Fanny
Contributed to:
Wrote 1 papers:
- CSL-2013-BoudesHP
- A characterization of the Taylor expansion of λ-terms (PB, FH, MP), pp. 101–115.