Login / Signup
John W. Gray
Publication Activity (10 Years)
Years Active: 1987-1991
Publications (10 Years): 0
</>
Publications
</>
John W. Gray
Simultaneous Substitution in the Typed Lambda Calculus.
MFPS
(1991)
John W. Gray
Initial Algebra Semantics for Lambda Calculi.
Mathematical Foundations of Programming Semantics
(1989)
John W. Gray
The Integration of Logical and Algebraic Types.
Categorial Methods in Computer Science
(1988)
John W. Gray
Executable Specifications for Data Type Constructors.
ADT
(1988)
John W. Gray
A Categorical Treatment of Polymorphic Operations.
MFPS
(1987)
John W. Gray
The symbolic computation laboratory at UIUC.
SIGSAM Bull.
21 (3) (1987)
John W. Gray
Categorical Aspects of Data Type Constructors.
Theor. Comput. Sci.
50 (1987)