11 citations · 18 across the 3 of their papers we have counts for
Showing math.CTShow all
2 papers · 1 filter
math.CT2017★ 11 cited
Temporal Type Theory: A topos-theoretic approach to systems and behavior
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…
math.CT2015★ 4 cited
Regular and exact (virtual) double categories
Patrick Schultz
We propose definitions of regular and exact (virtual) double categories, proving a number of results which parallel many basic results in the theory of regular and exact categories…