合 作 者
期刊 & 会议
年  份
R. A. G. Seely 的论文(20) 排序方式:
Weakly distributive categories  
 1992
47次引用 0 0
Categorical Semantics for Higher Order Polymorphic Lambda Calculus  
Journal of Symbolic Logic  1987
39次引用 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
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
Modelling Computations: A 2-Categorical Framework  
Logic in Computer Science  1987
12次引用 0 0
Differential categories  
Mathematical Structures in Computer Science  2006
10次引用 0 0
COHERENCE OF THE DOUBLE INVOLUTION ON -AUTONOMOUS CATEGORIES  
We show that any free -autonomous category is equivalent (in a strict sense) to a free -autonomous category in which the double-involution ( ) is the identity functor and the canonical isomorphism A '......
9次引用 0 0
Introduction to linear bicategories  
Mathematical Structures in Computer Science  2000
9次引用 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
POLARIZED CATEGORY THEORY, MODULES, AND GAME SEMANTICS  
Motivated by an analysis of Abramsky-Jagadeesan games, the paper con- siders a categorical semantics for a polarized notion of two-player games, a semantics which has close connections with the logic ......
7次引用 0 0

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