28 citations · 116 across the 28 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.LO2015
Type Theory and its Meaning Explanations
Jonathan Sterling
At the heart of intuitionistic type theory lies an intuitive semantics called the "meaning explanations"; crucially, when meaning explanations are taken as definitive for type theo…
cs.LO2015
Remark on the hypothetical judgment
Jonathan Sterling
What is the proper explanation of intuitionistic hypothetical judgment, and thence propositional implication? The answer is unclear from the writings of Brouwer and Heyting, who in…