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/Q3976478	1992-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3978972	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/Q4122068	1976-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4172200	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

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: John W. Gray