Executable specifications for data-type constructors

Gray, John W.

Diagrammes, Volume 24 (1990) p. 7-31

Categorical aspects of the classical Ascoli theorems

Gray, John W.

Cahiers de topologie et géométrie différentielle, Volume 22 (1981) p. 337-342

The existence and construction of Lax limits

Gray, John W.

Cahiers de topologie et géométrie différentielle, Volume 21 (1980) p. 277-304