Relating Two Categorical Models of Term Rewriting (1995)

Cached

Download Links

by A. Corradini , F. Gadducci , U. Montanari
Venue:Rewriting Techniques and Applications, volume 914 of LNCS
Citations:18 - 11 self

Active Bibliography

65 The Tile Model – Fabio Gadducci, Ugo Montanari - 1996
11 Enriched Categories as Models of Computation – Fabio Gadducci, Ugo Montanari - 1996
21 Rational Term Rewriting – A. Corradini, F. Gadducci - 1998
37 An Algebraic Presentation of Term Graphs, via GS-Monoidal Categories – Andrea Corradini, Fabio Gadducci - 1999
12 Rewriting On Cyclic Structures: Equivalence Between The Operational And The Categorical Description – Andrea Corradini, Fabio Gadducci - 1999
7 CCS Semantics via Proved Transition Systems and Rewriting Logic – Georgia Carabetta, Pierpaolo Degano, Fabio Gadducci - 1998
82 Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report – José Meseguer - 1996
14 Tiles, Rewriting Rules and CCS – Fabio Gadducci, Ugo Montanari
34 A 2-Categorical Presentation of Term Graph Rewriting – A. Corradini, F. Gadducci - 1997
1 An Evaluation Semantics for Narrowing-Based Functional Logic Languages – Michael Hanus Salvador, Michael Hanus, Salvador Lucas - 2001
Non-Deterministic untyped λ-calculus -- A study about explicit non determinism in higher-order functional calculi – Ugo de' Liguoro - 1991
Semantics Of Non-Terminating Systems Through Term Rewriting – José Bernardo dos Santos Monteiro Vieira de Barros - 1995
15 Cubical Sets And Their Site – Marco Grandis, Luca Mauri - 2003
14 A Functorial Semantics for Multi-Algebras and Partial Algebras, With Applications to Syntax – Andrea Corradini, Fabio Gadducci - 2000
7 Recursive Types in Kleisli Categories – Alex K. Simpson - 1992
MFPS 2008 Semimodule enrichment – Chris Heunen
3 Linearity and nonlinearity in distributed computation – Glynn Winskel
12 Profunctors, open maps and bisimulation – Gian Luca Cattani, Glynn Winskel - 2000
8 Generic trace theory – Ichiro Hasuo, Bart Jacobs, Ana Sokolova - 2006