Lessons learned from LCF: A Survey of Natural Deduction Proofs

From MaRDI portal

Publication:3696549

Jump to:navigation, search

DOI10.1093/comjnl/28.5.474zbMath0576.68070OpenAlexW1991293669MaRDI QIDQ3696549

Lawrence Charles Paulson

Publication date: 1985

Published in: The Computer Journal (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/comjnl/28.5.474

zbMATH Keywords

interactive theorem proving verification of hardware and software

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (2)

Constructing recursion operators in intuitionistic type theory ⋮ Terminating general recursion

This page was built for publication: Lessons learned from LCF: A Survey of Natural Deduction Proofs

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3696549&oldid=17185934"

Pages with script errors