我与 Leslie Lamport 合写的那篇论文

📋 概述

作者 Lawrence C. Paulson 回忆与图灵奖得主 Leslie Lamport 合作撰写一篇论文的经历。文章以第一人称还原了与这位以严格著称的学者共事的过程——反复打磨、对形式化的执着、以及对清晰表述近乎苛刻的追求，是一份珍贵的学术合作手记。