A Two-Level Approach Towards Lean Proof-Checking - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gilles Barthe, Mark Ruys, Henk Barendregt. A Two-Level Approach Towards Lean Proof-Checking. In Stefano Berardi, Mario Coppo, editors, Types for Proofs and Programs, International Workshop TYPES 95, Torino, Italy, June 5-8, 1995, Selected Papers. Volume 1158 of Lecture Notes in Computer Science, pages 16-35, Springer, 1995. [doi]

This author has not been identified. Look up 'Gilles Barthe' in GoogleThis author has not been identified. Look up 'Mark Ruys' in GoogleThis author has not been identified. Look up 'Henk Barendregt' in Google

runs on WebDSL