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
https://portal.mardi4nfdi.de/entity/Q2910140	2012-09-07	Paper
https://portal.mardi4nfdi.de/entity/Q2884463	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
https://portal.mardi4nfdi.de/entity/Q2707132	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

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: R. A. G. Seely