Fanny He

According to our database, Fanny He authored at least 2 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

The atomic lambda-mu calculus.

Fanny He

PhD thesis, 2018

2013

A characterization of the Taylor expansion of lambda-terms.

Pierre Boudes, Fanny He, Michele Pagani

Proceedings of the Computer Science Logic 2013 (CSL 2013), 2013