| |
| 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) | |