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