Semantic Algebras

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Primitive Domains
  • Primitive Domains
  • Product Domains
  • Sum Domains
  • Sum Domains
  • Sum Domains
  • Function Domains
  • Function Domains
  • Lifted Domains
  • Recursive Function Definitions

  • Author: Wolfgang Schreiner
    Last Modification: October 14, 1997

    [Up] [RISC-Linz] [University] [Search]