17 citations · 24 across the 8 of their papers we have counts for
Showing math.HOShow all
2 papers · 1 filter
math.HO2020★ 2 cited
Frege's theory of types
Bruno Bentzen
It is often claimed that the theory of function levels proposed by Frege in Grundgesetze der Arithmetik anticipates the hierarchy of types that underlies Church's simple theory of…
math.HO2020★ 3 cited
Sense, reference, and computation
Bruno Bentzen
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 ana…