John W. Gray

From MaRDI portal
Person:687574

Available identifiers

zbMath Open gray.john-wWikidataQ19358242 ScholiaQ19358242MaRDI QIDQ687574

List of research outcomes





PublicationDate of PublicationType
Simultaneous substitution in the typed lambda calculus2023-08-16Paper
Initial algebra semantics for lambda calculi2023-04-12Paper
Semantics of the typed \(\lambda\)-calculus with substitution in a cartesian closed category1993-10-19Paper
https://portal.mardi4nfdi.de/entity/Q39869511992-06-28Paper
https://portal.mardi4nfdi.de/entity/Q39789721992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q39764781992-06-26Paper
https://portal.mardi4nfdi.de/entity/Q42076041989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37943701988-01-01Paper
Categorical aspects of data type constructors1987-01-01Paper
Intrinsic linear programming1985-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33287211984-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33108011982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39632011982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39368901981-01-01Paper
Closed categories, lax limits and homotopy limits1980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q39167161980-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38766931979-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41722001976-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41220681976-01-01Paper
Formal category theory: Adjointness for 2-categories1974-01-01Paper
Quasi-Kan extensions for 2-categories1974-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56269081971-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56640611970-01-01Paper
https://portal.mardi4nfdi.de/entity/Q56118101969-01-01Paper
https://portal.mardi4nfdi.de/entity/Q55864621966-01-01Paper
Sheaves with values in a category1965-01-01Paper
Category-valued sheaves1962-01-01Paper
Extensions of sheaves of algebras1961-01-01Paper
Extensions of sheaves of associative algebras by nontrivial kernels1961-01-01Paper
Some global properties of contact structures1959-01-01Paper

Research outcomes over time

This page was built for person: John W. Gray