Parametric Specification

  • Ernest G. Manes
  • Michael A. Arbib
Part of the Texts and Monographs in Computer Science book series (MCS)


In Section 2 we will define “lists of E” in terms of the least fixed point specification
$$E*:: = 1 + E \times E*$$
(i.e., “a list is the empty list (1 = }Λ}) or an element of E followed by a list). But the parenthetical explication just given works only in Set, whereas the specification works in any category in which polynomial functors have least fixed points. In this sense E is a “parameter” for the “lists-of-” specifier. The specific parameter E may itself arise from another data type specification and may live in a category of arbitrary complexity subject to the technical needs of semantics.




Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag New York 1986

Authors and Affiliations

  • Ernest G. Manes
    • 1
  • Michael A. Arbib
    • 2
  1. 1.Department of Mathematics and StatisticsUniversity of MassachusettsAmherstUSA
  2. 2.Departments of Computer Science, Neurobiology and PhysiologyUniversity of Southern CaliforniaLos AngelesUSA

Personalised recommendations