| Publication | Date of Publication | Type |
|---|
Holomorphic models of exponential types in linear logic
Lecture Notes in Computer Science | 2023-04-28 | Paper |
scientific article; zbMATH DE number 7599492 (Why is no real title available?)
| 2022-10-11 | Paper |
Graded multicategories of polynomial-time realizers
Category Theory and Computer Science | 2022-08-16 | Paper |
Differential categories revisited
Applied Categorical Structures | 2020-03-24 | Paper |
Cartesian differential storage categories
| 2015-07-08 | Paper |
Kähler categories
Cahiers de Topologie et Géométrie Différentielle Catégoriques | 2012-09-07 | Paper |
The Faà di Bruno construction
Theory and Applications of Categories | 2012-05-29 | Paper |
Cartesian differential categories
| 2010-04-20 | Paper |
Differential categories
Mathematical Structures in Computer Science | 2007-02-07 | Paper |
Polarized category theory, modules, and game semantics
| 2007-01-23 | Paper |
scientific article; zbMATH DE number 5080676 (Why is no real title available?)
| 2006-12-19 | Paper |
scientific article; zbMATH DE number 2028927 (Why is no real title available?)
| 2004-01-19 | Paper |
The logic of linear functors
Mathematical Structures in Computer Science | 2003-10-05 | Paper |
scientific article; zbMATH DE number 1924508 (Why is no real title available?)
| 2003-06-05 | Paper |
Introduction to linear bicategories
Mathematical Structures in Computer Science | 2002-09-04 | Paper |
Feedback for linearly distributive categories: Traces and fixpoints
Journal of Pure and Applied Algebra | 2001-07-09 | Paper |
Finite sum-product logic
Theory and Applications of Categories | 2001-03-29 | Paper |
Linearly distributive functors
Journal of Pure and Applied Algebra | 2000-10-10 | Paper |
Categories for computation in context and unified logic
Journal of Pure and Applied Algebra | 1998-01-12 | Paper |
scientific article; zbMATH DE number 1024333 (Why is no real title available?)
| 1997-06-18 | Paper |
Weakly distributive categories
Journal of Pure and Applied Algebra | 1997-04-24 | Paper |
! and ? – Storage as tensorial strength
Mathematical Structures in Computer Science | 1997-04-13 | Paper |
Natural deduction and coherence for weakly distributive categories
Journal of Pure and Applied Algebra | 1997-03-19 | Paper |
scientific article; zbMATH DE number 794260 (Why is no real title available?)
| 1995-09-10 | Paper |
scientific article; zbMATH DE number 431760 (Why is no real title available?)
| 1994-06-26 | Paper |
scientific article; zbMATH DE number 4148062 (Why is no real title available?)
| 1990-01-01 | Paper |
scientific article; zbMATH DE number 4103051 (Why is no real title available?)
| 1989-01-01 | Paper |
Categorical semantics for higher order polymorphic lambda calculus
Journal of Symbolic Logic | 1987-01-01 | Paper |
scientific article; zbMATH DE number 4027427 (Why is no real title available?)
| 1986-01-01 | Paper |
scientific article; zbMATH DE number 4027428 (Why is no real title available?)
| 1986-01-01 | Paper |
Locally cartesian closed categories and type theory
Mathematical Proceedings of the Cambridge Philosophical Society | 1984-01-01 | Paper |
HYPERDOCTRINES, NATURAL DEDUCTION AND THE BECK CONDITION
Mathematical Logic Quarterly | 1983-01-01 | Paper |
scientific article; zbMATH DE number 3803431 (Why is no real title available?)
| 1982-01-01 | Paper |
scientific article; zbMATH DE number 3683840 (Why is no real title available?)
| 1979-01-01 | Paper |
