iwilare / categorical-qtl Goto Github PK
View Code? Open in Web Editor NEWCategorical semantics of counterpart-based quantified (linear) temporal logics in Agda using https://github.com/agda/agda-categories
Home Page: https://iwilare.com/msc-thesis.pdf