| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting☆ ☆ Research partially supported by the British EPSRC grant R29375 through the University of Edinburgh; by the ESPRIT BR Working Group APPLIGRAPH through the University of Paderborn; and by the Spanish DGES project PB96-0191-CO2 through the University of the Balearic Islands.
|
Gadducci, Fabio
|
|
1999
|
29 |
C |
p. 80-100
21 p.
|
artikel
|
| 2 |
Abstract Games for Linear Logic Extended Abstract☆ ☆ Research funded by EPSRC project GR/L27848
|
Hyland, Martin
|
|
1999
|
29 |
C |
p. 127-150
24 p.
|
artikel
|
| 3 |
A Coalgebraic Foundation for Linear Time Semantics
|
Power, John
|
|
1999
|
29 |
C |
p. 259-274
16 p.
|
artikel
|
| 4 |
A Domain-theoretic Semantics of Lax Generic Functions
|
Tsuiki, Hideki
|
|
1999
|
29 |
C |
p. 301-324
24 p.
|
artikel
|
| 5 |
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
|
Hildebrandt, Thomas T.
|
|
1999
|
29 |
C |
p. 102-126
25 p.
|
artikel
|
| 6 |
Coalgebra-to-Algebra Morphisms
|
Eppendahl, A.
|
|
1999
|
29 |
C |
p. 42-49
8 p.
|
artikel
|
| 7 |
Concurrent Realizations of Reactive Systems
|
Bednarczyk, Marek A.
|
|
1999
|
29 |
C |
p. 2-20
19 p.
|
artikel
|
| 8 |
Denotational Completeness Revisited
|
STREICHER, Thomas
|
|
1999
|
29 |
C |
p. 288-300
13 p.
|
artikel
|
| 9 |
Dependent Coercions 1 1 This work is partly supported by the UK EPSRC grant on “Subtyping, Inheritance and Reuse” (GR/K79130)
|
Luo, Zhaohui
|
|
1999
|
29 |
C |
p. 152-168
17 p.
|
artikel
|
| 10 |
Design ware: Software Development by Refinement
|
Smith, Douglas R.
|
|
1999
|
29 |
C |
p. 275-287
13 p.
|
artikel
|
| 11 |
Equational Lifting Monads
|
Bucalo, Anna
|
|
1999
|
29 |
C |
p. 22-
1 p.
|
artikel
|
| 12 |
Exhausting Strategies, Joker Games and Full Completeness for IMLL with Unit (Preliminary Version)
|
Murawski, A.S.
|
|
1999
|
29 |
C |
p. 209-239
31 p.
|
artikel
|
| 13 |
Fibred models of processes
|
Fiore, Marcelo
|
|
1999
|
29 |
C |
p. 78-
1 p.
|
artikel
|
| 14 |
Functorial semantics for Petri nets under the individual token philosophy
|
Bruni, Roberto
|
|
1999
|
29 |
C |
p. 21-
1 p.
|
artikel
|
| 15 |
Higher Dimensional Syntax
|
Wehr, Martin
|
|
1999
|
29 |
C |
p. 325-353
29 p.
|
artikel
|
| 16 |
Hilbert Q-modules and Nuclear Ideals in the Category of V-semilattices with a Duality
|
Paseka, J.
|
|
1999
|
29 |
C |
p. 240-258
19 p.
|
artikel
|
| 17 |
Internal Languages for Autonomous and ∗-Autonomous Categories
|
Koh, Thong-Wei
|
|
1999
|
29 |
C |
p. 151-
1 p.
|
artikel
|
| 18 |
Monads, Shapely Functors and Traversals
|
Moggi, E.
|
|
1999
|
29 |
C |
p. 187-208
22 p.
|
artikel
|
| 19 |
On the Semantics of Message Passing Processes
|
Errington, Lindsay
|
|
1999
|
29 |
C |
p. 50-77
28 p.
|
artikel
|
| 20 |
Path Integrals, Bayesian Vision, and Is Gaussian Quadrature Really Good?
|
Freyd, Peter
|
|
1999
|
29 |
C |
p. 79-
1 p.
|
artikel
|
| 21 |
Precategories for Combining Probabilistic Automata
|
Mateus, Paulo
|
|
1999
|
29 |
C |
p. 169-186
18 p.
|
artikel
|
| 22 |
Preface
|
Hofmann, Martin
|
|
1999
|
29 |
C |
p. 1-
1 p.
|
artikel
|
| 23 |
Several Applications of Analytic Functors to Theoretical
|
Hasegawa, Ryu
|
|
1999
|
29 |
C |
p. 101-
1 p.
|
artikel
|
| 24 |
Structured Theories and Institutions
|
Durán and José Meseguer, Francisco
|
|
1999
|
29 |
C |
p. 23-41
19 p.
|
artikel
|
Tijdschrift beschrijving