Fanny He

I am currently working in lambda-calculi and their denotational models, and in proof theory, especially from a Curry-Howard perspective. My research interests include:

• Lambda-calculi
• Proof theory
• Denotational semantics
• Logic
• Infinitary term rewriting

Workshops

• Towards an atomic lambda-mu-calculus, YR-ICALP 2015. (PDF, Slides)
• From the finite to the transfinite: Λμ-terms and streams, Fanny He and Alexis Saurin, WIR 2014. (PDF, Slides)

Talk

• Towards an atomic λμ-calculus,
  First year confirmation report,
  University of Bath, 2014. (Slides)

Master's thesis (2012)

• On the characterization of the Taylor Expansion of λ-terms.
  Master LMFI, Université Paris 7.
  Internship at LIPN, Université Paris 13.
  Supervisors: Michele Pagani and Pierre Boudes.
  (Report, Slides in French)

Publication

• A characterization of the Taylor expansion of λ-terms,
  Pierre Boudes, Fanny He and Michele Pagani, CSL 2013.
  (PDF, Slides)

• MA10207: Analysis 1 (2014)
• CM20218: Foundations of computation 2 (2015)
• BTEC summer school 2015-2016 (Python and OpenGL)
• CM10196: Discrete mathematics for computation (2015)
• CM20218: Foundations of computation 2 (2016)
• CM10196: Principles of programming 1 (2016)
• CM20254: Data structures and algorithms (2016)
• MA10207: Analysis 1 (2016)
• MA10209: Algebra 1A (2016)