nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
A Type System for Robust Declassification
|
Zdancewic, Steve |
|
2003 |
83 |
C |
p. 263-277 15 p. |
artikel |
2 |
Chu Spaces, Concept Lattices, and Domains
|
Zhang, Guo-Qiang |
|
2003 |
83 |
C |
p. 287-302 16 p. |
artikel |
3 |
Compact Coverages Generate Spectral Frames
|
Zhang, Guo-Qiang |
|
2003 |
83 |
C |
p. 279-285 7 p. |
artikel |
4 |
Contextual Equivalence for Higher-Order π-Calculus Revisited
|
Jeffrey, Alan |
|
2003 |
83 |
C |
p. 149-168 20 p. |
artikel |
5 |
Cumulative Computing
|
Chen, Yifeng |
|
2003 |
83 |
C |
p. 23-38 16 p. |
artikel |
6 |
Domain-theoretic Solution of Differential Equations (Scalar Fields)
|
Edalat, A. |
|
2003 |
83 |
C |
p. 99-112 14 p. |
artikel |
7 |
Entropic Geometry from Logic
|
Coecke, Bob |
|
2003 |
83 |
C |
p. 39-53 15 p. |
artikel |
8 |
Generic Transforms on Incomplete Specifications of Asynchronous Interfaces
|
Negulescu, Radu |
|
2003 |
83 |
C |
p. 187-200 14 p. |
artikel |
9 |
How Do Domains Model Topologies?
|
Waszkiewicz, Paweł |
|
2003 |
83 |
C |
p. 247-262 16 p. |
artikel |
10 |
Intensional Double Glueing, Biextensional Collapse, and the Chu Construction
|
Hughes, Dominic |
|
2003 |
83 |
C |
p. 131-147 17 p. |
artikel |
11 |
On the Semantics of the Bad-Variable Constructor in Algol-like Languages
|
McCusker, Guy |
|
2003 |
83 |
C |
p. 169-186 18 p. |
artikel |
12 |
Preface
|
|
|
2003 |
83 |
C |
p. i-ii nvt p. |
artikel |
13 |
Pseudo-distributive Laws
|
Cheng, Eugenia |
|
2003 |
83 |
C |
p. 227-245 19 p. |
artikel |
14 |
Ribbon Proofs
|
Bean, Jules |
|
2003 |
83 |
C |
p. 1-21 21 p. |
artikel |
15 |
Secure Protocol Composition
|
Datta, Anupam |
|
2003 |
83 |
C |
p. 201-226 26 p. |
artikel |
16 |
The Security Picalculus and Non-interference (Extended Abstract)
|
Hennessy, Matthew |
|
2003 |
83 |
C |
p. 113-129 17 p. |
artikel |
17 |
Towards the Correctness of Security Protocols
|
Debbabi, Mourad |
|
2003 |
83 |
C |
p. 55-98 44 p. |
artikel |