合 作 者
期刊 & 会议
年  份
R. A. G. Seely 的论文(20) 排序方式:
CARTESIAN DIFFERENTIAL CATEGORIES  
a comonad (a “coalgebra modality”) and a differential combinator. The morphisms of a differential category should be thought of as the linear maps; the differentiable or smooth maps would then be morp......
 2009
6次引用 0 0
Differential categories  
Mathematical Structures in Computer Science  2006
10次引用 0 0
The Logic of Linear Functors  
This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure. This allows the consideration of logics which contain ......
Mathematical Structures in Computer Science  2002
9次引用 0 0
Finite Sum - Product Logic  
. In this paper we describe a deductive system for categories with finite products and coproducts, prove decidability of equality of morphisms via cut elimination, and prove a "Whitman theorem" for ......
THEORY APPL. CATEG  2001
14次引用 0 0
Introduction to linear bicategories  
Mathematical Structures in Computer Science  2000
9次引用 0 0
Morphisms and Modules for Poly-Bicategories  
It is known that monoidal (or lax) functors and monoidal (or lax) transformations donot combine well to form a higher dimensional structure with bicategories as objects. Thisproblem is inherited by th......
 2000
7次引用 0 0
Weakly distributive categories  
There are many situations in logic, theoretical computer science, and category theory where two binary operations — one thought of as a (tensor) “product”, the other a “sum” — play a key role. In dis......
Journal of Pure and Applied Algebra  1997
0次引用 0 0
Natural deduction and coherence for weakly distributive categories  
This paper examines coherence for certain monoidal categories using techniques coming from the proof theory of linear logic, in particular making heavy use of the graphical techniques of proof nets. ......
Journal of Pure and Applied Algebra  1996
0次引用 0 0
! and ? - Storage as Tensorial Strength  
Mathematical Structures in Computer Science  1996
6次引用 0 0
A Logical View of Concurrent Constraint Programming  
. Concurrent Constraint Programming (CCP) has been the subject of growing interest as the focus of a new paradigm for concurrent computation. Like logic programming it claims close relations to logic.......
Nordic Journal of Computing  1995
19次引用 0 0

1/2 第一页 上一页 1 2 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜