- The Category-Theoretic Solution of Recursive Domain Equations
1982/11/01 by Michael Smyth, Gordon Plotkin · 2 citations
Computer Science · Mathematics · #Logic, programming, and type systems #Advanced Algebra and Logic #Logic, Reasoning, and Knowledge #Morphism #Domain theory #Category theory #Functor #Mathematics #Categorical variable #Algebra over a field #Partial function #Denotational semantics #Category of sets #Domain (mathematical analysis) #Semantics (computer science) #Discrete mathematics #Pure mathematics #Computer science #Operational semantics #Programming language