Proofs verifying programs and programs producing proofs

a conceptual analysis

Dag Prawitz

pp. 81-94


This document is unfortunately not available for download at the moment.

Not implemented yet !