1995/03/01 by Michael Barr · 2 citations
Computer Science · Mathematics · #Algebra over a field #Algebraic structures and combinatorial models #Algorithm #Calculus (dental) #Computer science #Homotopy and Cohomology in Algebraic Topology #Linear logic #Linear temporal logic #Logic, Reasoning, and Knowledge #Mathematics #Pure mathematics #Theoretical computer science
paper · pdf · doi:10.1016/0304-3975(94)00089-2
crossref issued 1995/03/01 · crossref published 1995/03/01 · crossref published-print 1995/03/01 · openalex publication_date 1995/03/01 · crossref created 2003/05/13 · crossref deposited 2019/04/16 · openalex created_date 2025/10/10 · crossref indexed 2026/07/08 · openalex updated_date 2026/08/01