Amélie Ledein

According to our database, Amélie Ledein authored at least 2 papers in 2022.

Collaborative distances:

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

2022

LibNDT: Towards a Formal Library on Spreadable Properties over Linked Nested Datatypes.

Mathieu Montin, Amélie Ledein, Catherine Dubois

Proceedings of the Proceedings Ninth Workshop on Mathematically Structured Functional Programming, 2022

A Semantics of 𝕂 into Dedukti.

Amélie Ledein, Valentin Blot, Catherine Dubois

Proceedings of the 28th International Conference on Types for Proofs and Programs, 2022