Scalable LCF-Style Proof Translation
Kaliszyk, Cezary ; Krauss, Alexander Blazy, Sandrine ; Pichardie, David ; Paulin-Mohring, Christine
Interactive Theorem Proving, p.51-66
[Periódico revisado por pares]
Berlin, Heidelberg: Springer Berlin Heidelberg
Texto completo disponível