R. A. G. Seely

From MaRDI portal
Person:674461

Available identifiers

zbMath Open seely.robert-a-gMaRDI QIDQ674461

List of research outcomes





PublicationDate of PublicationType
Holomorphic models of exponential types in linear logic2023-04-28Paper
https://portal.mardi4nfdi.de/entity/Q50401732022-10-11Paper
Graded multicategories of polynomial-time realizers2022-08-16Paper
Differential categories revisited2020-03-24Paper
Cartesian Differential Storage Categories2015-07-08Paper
Kähler categories2012-09-07Paper
The Faà di Bruno construction2012-05-29Paper
https://portal.mardi4nfdi.de/entity/Q35520292010-04-20Paper
Differential categories2007-02-07Paper
https://portal.mardi4nfdi.de/entity/Q34168242007-01-23Paper
https://portal.mardi4nfdi.de/entity/Q34139262006-12-19Paper
https://portal.mardi4nfdi.de/entity/Q44441262004-01-19Paper
The logic of linear functors2003-10-05Paper
https://portal.mardi4nfdi.de/entity/Q47070462003-06-05Paper
Introduction to linear bicategories2002-09-04Paper
Feedback for linearly distributive categories: Traces and fixpoints2001-07-09Paper
Finite sum-product logic2001-03-29Paper
Linearly distributive functors2000-10-10Paper
Categories for computation in context and unified logic1998-01-12Paper
https://portal.mardi4nfdi.de/entity/Q43424391997-06-18Paper
Weakly distributive categories1997-04-24Paper
! and ? – Storage as tensorial strength1997-04-13Paper
Natural deduction and coherence for weakly distributive categories1997-03-19Paper
https://portal.mardi4nfdi.de/entity/Q48470211995-09-10Paper
https://portal.mardi4nfdi.de/entity/Q31385361994-06-26Paper
https://portal.mardi4nfdi.de/entity/Q34783871990-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38279931989-01-01Paper
Categorical semantics for higher order polymorphic lambda calculus1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37688691986-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37688701986-01-01Paper
Locally cartesian closed categories and type theory1984-01-01Paper
HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION1983-01-01Paper
https://portal.mardi4nfdi.de/entity/Q47481451982-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38794171979-01-01Paper

Research outcomes over time

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