nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
1 |
Abstract Syntax: Substitution and Binders
|
Power, John |
|
2007 |
173 |
C |
p. 3-16 14 p. |
artikel |
2 |
A Hofmann-Mislove theorem for Bitopological Spaces
|
Jung, Achim |
|
2007 |
173 |
C |
p. 159-175 17 p. |
artikel |
3 |
Almost Every Domain is Universal
|
Droste, Manfred |
|
2007 |
173 |
C |
p. 103-119 17 p. |
artikel |
4 |
A Logical Characterisation of Static Equivalence
|
Hüttel, Hans |
|
2007 |
173 |
C |
p. 139-157 19 p. |
artikel |
5 |
Amb Breaks Well-Pointedness, Ground Amb Doesn't
|
Levy, Paul Blain |
|
2007 |
173 |
C |
p. 221-239 19 p. |
artikel |
6 |
An Observational Theory for Mobile Ad Hoc Networks
|
Merro, Massimo |
|
2007 |
173 |
C |
p. 275-293 19 p. |
artikel |
7 |
A Spectral Order for Infinite Dimensional Quantum Spaces
|
Mashburn, Joe |
|
2007 |
173 |
C |
p. 263-273 11 p. |
artikel |
8 |
Coalgebraic Modal Logic Beyond Sets
|
Klin, Bartek |
|
2007 |
173 |
C |
p. 177-201 25 p. |
artikel |
9 |
Directed Bigraphs
|
Grohmann, Davide |
|
2007 |
173 |
C |
p. 121-137 17 p. |
artikel |
10 |
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations
|
Schmidt, David A. |
|
2007 |
173 |
C |
p. 339-356 18 p. |
artikel |
11 |
Free Theorems and Runtime Type Representations
|
Vytiniotis, Dimitrios |
|
2007 |
173 |
C |
p. 357-373 17 p. |
artikel |
12 |
Normalization by Evaluation for Martin-Löf Type Theory with One Universe
|
Abel, Andreas |
|
2007 |
173 |
C |
p. 17-39 23 p. |
artikel |
13 |
Observational Semantics for a Concurrent Lambda Calculus with Reference Cells and Futures
|
Niehren, Joachim |
|
2007 |
173 |
C |
p. 313-337 25 p. |
artikel |
14 |
On the Non-sequential Nature of Domain Models of Real-number Computation
|
Anberrée, Thomas |
|
2007 |
173 |
C |
p. 41-46 6 p. |
artikel |
15 |
Preface
|
Fiore, Marcelo |
|
2007 |
173 |
C |
p. 1-2 2 p. |
artikel |
16 |
Probabilistic Completion of Nondeterministic Models
|
Beaulieu, Guy |
|
2007 |
173 |
C |
p. 67-84 18 p. |
artikel |
17 |
Relational Parametricity for Control Considered as a Computational Effect
|
Møgelberg, Rasmus Ejlers |
|
2007 |
173 |
C |
p. 295-312 18 p. |
artikel |
18 |
Sequentiality and the CPS Semantics of Fresh Names
|
Laird, J. |
|
2007 |
173 |
C |
p. 203-219 17 p. |
artikel |
19 |
Skeletons, Homomorphisms, and Shapes: Characterizing Protocol Executions
|
Doghmi, Shaddin F. |
|
2007 |
173 |
C |
p. 85-102 18 p. |
artikel |
20 |
Taut Monads, Dynamic Logic and Determinism
|
Manes, Ernie |
|
2007 |
173 |
C |
p. 241-262 22 p. |
artikel |
21 |
What You Lose is What You Leak: Information Leakage in Declassification Policies
|
Banerjee, Anindya |
|
2007 |
173 |
C |
p. 47-66 20 p. |
artikel |