Communicating and trusting proofs: The case for broad spectrum proof certificates. Available from author’s website (2011)

by Dale Miller , Lix École Polytechnique
Citations:2 - 2 self