Matthias Puech

According to our database, Matthias Puech authored at least 2 papers between 2013 and 2014.

Collaborative distances:

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

2014

Typeful Normalization by Evaluation.

Olivier Danvy, Chantal Keller, Matthias Puech

Proceedings of the 20th International Conference on Types for Proofs and Programs, 2014

2013

Proofs, Upside Down - A Functional Correspondence between Natural Deduction and the Sequent Calculus.

Matthias Puech

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013