nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Coalgebraic Semantic Framework for Component-based Development in UML
|
Meng, Sun |
|
2005 |
122 |
C |
p. 229-245 17 p. |
artikel |
2 |
A Graph-based Semantics For Object-oriented Programming Constructs
|
Ferreira, Ana Paula Lüdtke |
|
2005 |
122 |
C |
p. 89-104 16 p. |
artikel |
3 |
A Language For Multiplicative-additive Linear Logic
|
Cockett, J.R.B. |
|
2005 |
122 |
C |
p. 23-65 43 p. |
artikel |
4 |
Asynchronous Games 3 An Innocent Model of Linear Logic
|
Melliès, Paul-André |
|
2005 |
122 |
C |
p. 171-192 22 p. |
artikel |
5 |
Concrete Data Structures as Games
|
Schalk, Andrea |
|
2005 |
122 |
C |
p. 193-210 18 p. |
artikel |
6 |
From Geometry of Interaction to Denotational Semantics
|
Haghverdi, Esfandiar |
|
2005 |
122 |
C |
p. 67-87 21 p. |
artikel |
7 |
Inside Every Model of Abstract Stone Duality Lies an Arithmetic Universe
|
Taylor, Paul |
|
2005 |
122 |
C |
p. 247-296 50 p. |
artikel |
8 |
Iterative Algebras for a Base
|
Adámek, Jiří |
|
2005 |
122 |
C |
p. 147-170 24 p. |
artikel |
9 |
Limit Preservation from Naturality
|
Caccamo, Mario |
|
2005 |
122 |
C |
p. 3-22 20 p. |
artikel |
10 |
Preface
|
Birkedal, Lars |
|
2005 |
122 |
C |
p. 1- 1 p. |
artikel |
11 |
Reflection Into Models of Finite Decidable FP-sketches in an Arithmetic Universe
|
Maietti, Maria Emilia |
|
2005 |
122 |
C |
p. 105-126 22 p. |
artikel |
12 |
State Dependent IO-Monads in Type Theory
|
Michelbrink, Markus |
|
2005 |
122 |
C |
p. 127-146 20 p. |
artikel |
13 |
Weak Bisimulation for Action-Type Coalgebras
|
Sokolova, Ana |
|
2005 |
122 |
C |
p. 211-228 18 p. |
artikel |