Report copyright - A higher-order temporal logic for dynamical systemsmath.ucr.edu/home/baez/ACT2017/ACT2017_spivak.pdfA higher-order temporal logic for dynamical systems David I. Spivak and Patrick
Please pass captcha verification before submit form