Marco Tzschentke

According to our database, Marco Tzschentke authored at least 1 paper in 2024.

Collaborative distances:

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

2024

Grokking the Sequent Calculus (Functional Pearl).

David Binder, Marco Tzschentke, Marius Müller, Klaus Ostermann

Proc. ACM Program. Lang., 2024