iwilare/categorical-qtl
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories
Agda
No issues in this repository yet.
Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories
Agda
No issues in this repository yet.