学术社交
学术应用
开放平台
注册
|
登录
邮箱
密码
验证码
换一下
自动登录
忘记密码?
使用其它帐号登录
登录或注册
邮箱:
密码:
验证码:
换一下
自动登录
忘记密码?
使用其它帐号登录
为什么使用第三方帐号?
讨厌烦人的注册表单,经常忘了用户名和密码,我有第三方帐号,我喜欢通用的帐号,这样很安全。
想用独立的帐号,还未开通?
赶快免费注册一个吧!
R. A. G. Seely
A PHP Error was encountered
Severity: Notice
Message: Undefined index: id
Filename: views/view_author.php
Line Number: 127
机 构: McGill University
领 域: 算法与理论
主 页:
http://www.math.mcgill.ca/~rags/
论文统计图
引用最多的论文
更多>>
Weakly distributive categories
J.
Robin B.
Cockett
,
R.
A.
G.
Seely
1992
47次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Categorical Semantics for Higher Order Polymorphic Lambda Calculus
R.
A.
G.
Seely
Journal of Symbolic Logic
1987
39次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
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
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Finite Sum - Product Logic
J.
Robin B.
Cockett
,
R.
A.
G.
Seely
THEORY APPL. CATEG
2001
14次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Modelling Computations: A 2-Categorical Framework
R.
A.
G.
Seely
Logic in Computer Science
1987
12次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
最新的论文
更多>>
CARTESIAN DIFFERENTIAL CATEGORIES
Richard F.
Blute
,
J.
Robin B.
Cockett
,
R.
A.
G.
Seely
2009
6次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Differential categories
Richard F.
Blute
,
J.
Robin B.
Cockett
,
R.
A.
G.
Seely
Mathematical Structures in Computer Science
2006
10次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
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
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Finite Sum - Product Logic
J.
Robin B.
Cockett
,
R.
A.
G.
Seely
THEORY APPL. CATEG
2001
14次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
Introduction to linear bicategories
J.
Robin B.
Cockett
,
Jurgen Koslowski
,
R.
A.
G.
Seely
Mathematical Structures in Computer Science
2000
9次引用
0
0
0
0
保 存
限8个标签,单个标签英文限20个字符,中文限10个字符
保 存
取 消
分 享
取 消
20
论文
206
引用
14
G-Index
9
H-Index
主要合作者
[查看详情]
关键词
Game Semantics
Concurrent Constraint Programming
Closure Operator
Concurrent Constraint
Symmetric Algebra
Proof Theory
Natural Transformation
Quantum Field Theory
Asynchronous System
Monoidal Category
fock space
Category Theory
denotational semantic
Quantum Physics
Linear Space
Natural Deduction
linear functionals
Linear Logic
Canonical Model
Parallel Composition
主要期刊 & 会议
MSCS - Mathematical Structures in Computer Science
J PURE APPL ALG - Journal of Pure and Applied Algebra
REX - Research and Education in Concurrent Systems
CTCS - Category Theory and Computer Science
LICS - Logic in Computer Science
COPYRIGHT © 2013 Powered By GOLAXY 中国科学院计算技术研究所 天玑团队
我想反馈:
问题
点子
排行榜