Mark Ruys

Publication Activity (10 Years)

Years Active: 1995-1995
Publications (10 Years): 0

Publications

Gilles Barthe, Mark Ruys, Henk Barendregt
A Two-Level Approach Towards Lean Proof-Checking. TYPES (1995)