作  者
期刊 & 会议
年  份
R. A. G. Seely 的引文(206) 排序方式:
Deep Inference and Probabilistic Coherence Spaces  
This paper proposes a definition of categorical model of the deep inference system BV, defined by Guglielmi. Deep inference introduces the idea of performing a deduction in the interior of a formula, ......
Applied Categorical Structures  2012
3次引用 0 0
Deep Inference and Probabilistic Coherence Spaces  
This paper proposes a definition of categorical model of the deep inference system BV, defined by Guglielmi. Deep inference introduces the idea of performing a deduction in the interior of a formula, ......
Applied Categorical Structures  2012
3次引用 0 0
Geometry of Interaction and the Dynamics of Proof Reduction: A Tutorial  
Girard’s Geometry of Interaction (GoI) is a program that aims at giving mathematical models of algorithms independently of any extant languages. In the context of proof theory, where one views algorit......
 2011
1次引用 0 0
The Concurrency Column  
Process calculi like ACP, CCS, CSP and various flavours of the �-calculus are popular specification formalisms for concurrent, distribu ted and possibly mo- bile systems. The semantic theory of proces......
Bulletin of The European Association for Theoretical Computer Science  2011
0次引用 0 0
Aspect oriented programming: a language for 2-categories  
Aspect-Oriented Programming (AOP) started ten years ago with the remark that modularization of so-called crosscutting functionalities is a fundamental problem for the engineering of large-scale applic......
Foundations of Aspect-Oriented Languages  2011
3次引用 0 0
Proof Nets for Additive Linear Logic with Units  
Additive linear logic, the fragment of linear logic concerning linear implication between strictly additive formulae, coincides with sum-product logic, the internal language of categories with free fi......
Logic in Computer Science  2011
0次引用 0 0
Duals Invert  
Monoidal objects (or pseudomonoids) in monoidal bicategories share many of the properties of the paradigmatic example: monoidal categories. The existence of (say, left) duals in a monoidal category l......
Applied Categorical Structures  2011
0次引用 0 0
Deriving Labels and Bisimilarity for Concurrent Constraint Programming  
Concurrent constraint programming (ccp) is a well-established model for concurrency. Bisimilarity is one of the central reasoning techniques in concurrency. The standard definition of bisimilarity, ......
Foundations of Software Science and Computation Structure  2011
0次引用 0 0
Proof Nets as Formal Feynman Diagrams  
Summary. The introduction of linear logic and its associated proof theory has revolutionized many semantical investigations, for example, the search for fullyabstract models of PCF and the analysis of......
 2011
0次引用 0 0
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories  
Toy models have been used to separate important features of quantum computation from the rich background of the standard Hilbert space model. Category theory, on the other hand, is a general tool to s......
Computing Research Repository  2010
0次引用 0 0

1/21 第一页 上一页 1 2 3 4 5 6 7 下一页
Feedback
Feedback
Feedback
我想反馈:
排行榜