1991/07/01 by Eugenio Moggi · 4 citations
Computer Science · Mathematics · #Algebra over a field #Calculus (dental) #Categorical variable #Computation #Computer science #Discrete mathematics #Equivalence (formal languages) #Formal Methods in Verification #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Programming language #Pure mathematics #Range (aeronautics) #Semantics (computer science) #Theoretical computer science
paper · pdf · doi:10.1016/0890-5401(91)90052-4
crossref issued 1991/07/01 · crossref published 1991/07/01 · crossref published-print 1991/07/01 · openalex publication_date 1991/07/01 · crossref created 2004/12/16 · crossref deposited 2019/01/31 · openalex created_date 2025/10/10 · crossref indexed 2026/07/28 · openalex updated_date 2026/08/01