In this paper, I revisit Frege's theory of sense and reference in the constructive setting of the meaning explanations of type theory, extending and sharpening a program--value analysis of sense and reference proposed by Martin-L\"of building on previous work of Dummett. I propose a computational identity criterion for senses and argue that it validates what I see as the most plausible interpretation of Frege's equipollence principle for both sentences and singular terms. Before doing so, I examine Frege's implementation of his theory of sense and reference in the logical framework of Grundgesetze, his doctrine of truth values, and views on sameness of sense as equipollence of assertions.

中文翻译：

---

意义、参考和计算

在本文中，我在类型论的意义解释的建设性设置中重新审视了弗雷格的意义和指称理论，扩展和锐化了 Martin-L\"在前人工作的基础上提出的程序--意义和指称的价值分析。 Dummett。我提出了一个用于感官的计算恒等标准，并认为它验证了我认为对 Frege 的句子和单数术语的等价原理最合理的解释。在此之前，我检查了 Frege 在其意义和指称理论中的实现Grundgesetze 的逻辑框架，他的真值学说，以及将意义相同性视为断言等价的观点。