/categorical-qtl

Categorical semantics of counterpart-based quantified (linear) temporal logics in Agda using agda-categories

Primary LanguageAgda

No issues in this repository yet.