2016/12/20 by Mariana Haim, Haim, Mariana, Octavio Malherbe +1
Biochemistry, Genetics and Molecular Biology · Computer Science · #FOS: Mathematics #Formal Methods in Verification #Logic (math.LO) #Logic, programming, and type systems #Pharmacological Receptor Mechanisms and Effects
paper · pdf · doi:10.48550/arxiv.1612.06602
openalex publication_date 2016/12/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In this exposition, we get examples of what is called a "linear hyperdoctrine", based on categories of comodules indexed by coalgebras. This structures can model first order linear logic.