Stem functori$ (all stems)

5 papers:

GT-VMT-2011-DuvalEP #category theory #graph transformation #term rewriting

Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation (DD, RE, FP).

CSL-2006-Mellies #diagrams #string

Functorial Boxes in String Diagrams (PAM), pp. 1–30.

TLCA-2001-Jay #calculus #data type

Distinguishing Data Structures and Functions: The Constructor Calculus and Functorial Types (CBJ), pp. 217–239.

PLILP-1996-BelleJM #ml

Functorial ML (GB, CBJ, EM), pp. 32–46.

LICS-1992-FreydRR #parametricity

Functorial Parametricity (PJF, EPR, GR), pp. 444–452.