172 citations · 796 across the 66 of their papers we have counts for
1 paper · 2 filters
Brendan Fong, Alberto Speranzon, David I. Spivak
We present an elementary introduction to a new logic for reasoning about behaviors that occur over time. This logic is based on temporal type theory. The syntax of the logic is sim…