A Two-Level Approach towards Lean Proof-Checking (1996)

Cached

Download Links

by Gilles Barthe , Mark Ruys , Henk Barendregt
Citations:16 - 4 self

Document Versions

A Two-Level Approach towards Lean Proof-Checking –Gilles Barthe, Mark Ruys, Henk Barendregt — 1996
A Two-Level Approach towards Lean Proof-Checking –G. Barthe, M.P.J. Ruys, H.P. Barendregt — 1996