Furio Honsell. 25 years of formal proof cultures: some problems, some philosophy, bright future. In Alberto Momigliano, Brigitte Pientka, Randy Pollack, editors, Proceedings of the Eighth ACM SIGPLAN International Workshop on Logical Frameworks & Meta-languages: Theory & Practice, LFMTP 2013, Boston, Massachusetts, USA, September 23, 2013. pages 37-42, ACM, 2013. [doi]
Abstract is missing.