John W. Gray

Available identifiers

zbMath Open gray.john-wWikidataQ19358242 ScholiaQ19358242MaRDI QIDQ687574

List of research outcomes

Publication	Date of Publication	Type
Simultaneous substitution in the typed lambda calculus	2023-08-16	Paper
Initial algebra semantics for lambda calculi	2023-04-12	Paper
Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category	1993-10-19	Paper
https://portal.mardi4nfdi.de/entity/Q3986951	1992-06-28	Paper
https://portal.mardi4nfdi.de/entity/Q3978972	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3976478	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q4207604	1989-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3794370	1988-01-01	Paper
Categorical aspects of data type constructors	1987-01-01	Paper
Intrinsic linear programming	1985-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3328721	1984-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3310801	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3963201	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3936890	1981-01-01	Paper
Closed categories, lax limits and homotopy limits	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3916716	1980-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3876693	1979-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4172200	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4122068	1976-01-01	Paper
Formal category theory: Adjointness for 2-categories	1974-01-01	Paper
Quasi-Kan extensions for 2-categories	1974-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5626908	1971-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5664061	1970-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5611810	1969-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q5586462	1966-01-01	Paper
Sheaves with values in a category	1965-01-01	Paper
Category-valued sheaves	1962-01-01	Paper
Extensions of sheaves of algebras	1961-01-01	Paper
Extensions of sheaves of associative algebras by nontrivial kernels	1961-01-01	Paper
Some global properties of contact structures	1959-01-01	Paper

Research outcomes over time

This page was built for person: John W. Gray