R. A. G. Seely

Available identifiers

zbMath Open seely.robert-a-gMaRDI QIDQ674461

List of research outcomes

Publication	Date of Publication	Type
Holomorphic models of exponential types in linear logic	2023-04-28	Paper
https://portal.mardi4nfdi.de/entity/Q5040173	2022-10-11	Paper
Graded multicategories of polynomial-time realizers	2022-08-16	Paper
Differential categories revisited	2020-03-24	Paper
Cartesian Differential Storage Categories	2015-07-08	Paper
Kähler categories	2012-09-07	Paper
The Faà di Bruno construction	2012-05-29	Paper
https://portal.mardi4nfdi.de/entity/Q3552029	2010-04-20	Paper
Differential categories	2007-02-07	Paper
https://portal.mardi4nfdi.de/entity/Q3416824	2007-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q3413926	2006-12-19	Paper
https://portal.mardi4nfdi.de/entity/Q4444126	2004-01-19	Paper
The logic of linear functors	2003-10-05	Paper
https://portal.mardi4nfdi.de/entity/Q4707046	2003-06-05	Paper
Introduction to linear bicategories	2002-09-04	Paper
Feedback for linearly distributive categories: Traces and fixpoints	2001-07-09	Paper
Finite sum-product logic	2001-03-29	Paper
Linearly distributive functors	2000-10-10	Paper
Categories for computation in context and unified logic	1998-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4342439	1997-06-18	Paper
Weakly distributive categories	1997-04-24	Paper
! and ? – Storage as tensorial strength	1997-04-13	Paper
Natural deduction and coherence for weakly distributive categories	1997-03-19	Paper
https://portal.mardi4nfdi.de/entity/Q4847021	1995-09-10	Paper
https://portal.mardi4nfdi.de/entity/Q3138536	1994-06-26	Paper
https://portal.mardi4nfdi.de/entity/Q3478387	1990-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3827993	1989-01-01	Paper
Categorical semantics for higher order polymorphic lambda calculus	1987-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768869	1986-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3768870	1986-01-01	Paper
Locally cartesian closed categories and type theory	1984-01-01	Paper
HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION	1983-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4748145	1982-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q3879417	1979-01-01	Paper

Research outcomes over time

This page was built for person: R. A. G. Seely