Mark Ruys

According to our database, Mark Ruys authored at least 1 paper in 1995.

Collaborative distances:

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

1995

A Two-Level Approach Towards Lean Proof-Checking.

Gilles Barthe, Mark Ruys, Henk Barendregt

Proceedings of the Types for Proofs and Programs, 1995