Report - Topos Semantics for a Higher-order Temporal Logic of Actions › ACT2019 › preproceedings › Johnson-Freyd Jon... · 2019-07-08 · Our categorical model of higher-order TLA meets

Select PornographicDefamatoryIllegal/UnlawfulSpamOther Terms Of Service ViolationFile a copyright complaint

Please pass captcha verification before submit form