PARAMETERS AND PARAMETRIZATION IN SPECIFICATION, USING DISTRIBUTIVE CATEGORIES

1 January 1995

journal article
Published by SAGE Publications in Fundamenta Informaticae

Vol. 24 (3) , 209-250
https://doi.org/10.3233/fi-1995-2431

Abstract

A specification, as we shall use it here, consists of a signature together with a collection of (non-conditional) equations; these equations involve terms in the ‘distributive type theory’ which is built on top of the signature. This type theory has

Keywords

EQUATIONS INVOLVE
INVOLVE TERMS
DISTRIBUTIVE TYPE
USING DISTRIBUTIVE CATEGORIES
PARAMETRIZATION IN SPECIFICATION
TYPE THEORY

This publication has 0 references indexed in Scilit: