类 型
12 篇文献
 
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
Conditional Rewriting Logic: Deduction, Models and Concurrency  
Term rewriting has so far been understood almost exclusively as a technique for equational reasoning. This paper proposes a much broader interpretation in which term rewriting can be used both as a se......
Conditional Term Rewriting Systems  1990
4次引用 0 0
Monads and Modular Term Rewriting  
Monads can be used to model term rewriting systems by generalising the well-known equivalence between universal algebra and monads on the category Set. In (L u96), this semantics was used to give a p......
Category Theory and Computer Science  1997
6次引用 0 0
Double Categories: A Modular Model of Multiplicative Linear Logic  
Mathematical Structures in Computer Science  2002
3次引用 0 0
INDEXED CATEGORIES FOR PROGRAM DEVELOPMENT  
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
A Semantics for Static Type Inference  
Information and Computation/information and Control  1994
7次引用 0 0
Computational Category Theory  
10次引用 0 0
The Virtues of Eta-Expansion  
Interpreting j-conversion as an expansion rule in the simply-typed -calculus maintains theconfluence of reduction in a richer type structure. This use of expansions is supported bycategorical models o......
Journal of Functional Programming  1995
35次引用 0 0
Formal Software Development: From Foundations to Tools Expos e der schriftlichen Habilitationsleistung  
0次引用 0 0

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