R. A. G. Seely

机  构：  McGill University
领  域：  算法与理论
主  页：  http://www.math.mcgill.ca/~rags/
论文统计图
引用最多的论文 更多>>
Weakly distributive categories  
J. Robin B. Cockett , R. A. G. Seely
1992
47次引用 0 0
Categorical Semantics for Higher Order Polymorphic Lambda Calculus  
R. A. G. Seely
Journal of Symbolic Logic  1987
39次引用 0 0
A Logical View of Concurrent Constraint Programming  
N. P. Mendler , Prakash Panangaden , Philip J. Scott , R. A. G. Seely
Nordic Journal of Computing  1995
19次引用 0 0
Finite Sum - Product Logic  
J. Robin B. Cockett , R. A. G. Seely
THEORY APPL. CATEG  2001
14次引用 0 0
Modelling Computations: A 2-Categorical Framework  
R. A. G. Seely
Logic in Computer Science  1987
12次引用 0 0
最新的论文 更多>>
CARTESIAN DIFFERENTIAL CATEGORIES  
Richard F. Blute , J. Robin B. Cockett , R. A. G. Seely
 2009
6次引用 0 0
Differential categories  
Richard F. Blute , J. Robin B. Cockett , R. A. G. Seely
Mathematical Structures in Computer Science  2006
10次引用 0 0
The Logic of Linear Functors  
Richard F. Blute , J. Robin B. Cockett , R. A. G. Seely
Mathematical Structures in Computer Science  2002
9次引用 0 0
Finite Sum - Product Logic  
J. Robin B. Cockett , R. A. G. Seely
THEORY APPL. CATEG  2001
14次引用 0 0
Introduction to linear bicategories  
J. Robin B. Cockett , Jurgen Koslowski , R. A. G. Seely
Mathematical Structures in Computer Science  2000
9次引用 0 0
20
论文
206
引用
14
G-Index
9
H-Index
主要合作者 [查看详情]
关键词
主要期刊 & 会议
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
Feedback
Feedback
Feedback
我想反馈：
排行榜