18 citations · 43 across the 7 of their papers we have counts for
1 paper · 1 filter
Patrick Schultz, David I. Spivak
This book introduces a temporal type theory, the first of its kind as far as we know. It is based on a standard core, and as such it can be formalized in a proof assistant such as…