1990/04/01 by J.A. Bergstra, Jan Heering, Paul Klint · 169 citations
Computer Science · Mathematics · #Advanced Algebra and Logic #Algebra over a field #Algebraic number #Algebraic structure #Axiom #Axiomatic system #Computer science #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Mathematics #Process calculus #Pure mathematics #Signature (topology) #Theoretical computer science
paper · pdf · doi:10.1145/77600.77621
published in Journal of the ACM 37(2), 335-372 (Association for Computing Machinery)
openalex publication_date 1990/04/01 · openalex created_date 2016/06/24 · openalex updated_date 2026/06/11
An axiomatic algebraic calculus of modules is given that is based on the operators combination/union, export, renaming, and taking the visible signature . Four different models of module algebra are discussed and compared.