John W. Gray

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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

	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)

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page