- CSB - MetaPress - Google - Bing - Yahoo
 | 1991 | |
|---|---|---|
| 6 |      | John W. Gray: Simultaneous Substitution in the Typed Lambda Calculus. MFPS 1991: 207-220 |
| 1989 | ||
| 5 | | John W. Gray: Initial Algebra Semantics for Lambda Calculi. Mathematical Foundations of Programming Semantics 1989: 418-439 |
| 1988 | ||
| 4 |  | John W. Gray: Executable Specifications for Data Type Constructors. ADT 1988 |
| 3 | | John W. Gray: The Integration of Logical and Algebraic Types. Categorial Methods in Computer Science 1988: 16-35 |
| 1987 | ||
| 2 | | John W. Gray: A Categorical Treatment of Polymorphic Operations. MFPS 1987: 2-22 |
| 1 | | John W. Gray: Categorical Aspects of Data Type Constructors. Theor. Comput. Sci. 50: 103-135 (1987) |