|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
28 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Categorical and Graphical Treatment of Closure Conversion |
Schweimeier, Ralf |
1999 |
20 | C |
p. 481-511 31 p. |
article |
|
| 2 | A Core Calculus of Classes and Objects |
Bono, Viviana |
1999 |
20 | C |
p. 28-49 22 p. |
article |
|
| 3 | Bisimulation in Untyped Lambda Calculus: |
Lassen, S.B. |
1999 |
20 | C |
p. 346-374 29 p. |
article |
|
| 4 | Categorical Structure of Asynchrony |
Selinger, Peter |
1999 |
20 | C |
p. 158-181 24 p. |
article |
|
| 5 | Characterizing Topologies With Bounded Complete Computational Models |
Ciesielski, Krzysztof |
1999 |
20 | C |
p. 202-212 11 p. |
article |
|
| 6 | Completeness Classes of Equilogical Spaces |
Heckmann, Reinhold |
1999 |
20 | C |
p. 293-308 16 p. |
article |
|
| 7 | Confinement Properties for Multi-Threaded Programs |
Smith, Geoffrey |
1999 |
20 | C |
p. 132-142 11 p. |
article |
|
| 8 | Contractible Coherence Spaces and Maximal Maps |
Hu, Hongde |
1999 |
20 | C |
p. 309-319 11 p. |
article |
|
| 9 | Denotational Semantics of Shape: |
Jay, C.B. |
1999 |
20 | C |
p. 320-333 14 p. |
article |
|
| 10 | Direct Models of the Computational Lambda-calculus |
Führmann, Carsten |
1999 |
20 | C |
p. 245-292 48 p. |
article |
|
| 11 | Enforcing Security and Safety with Proof-Carrying Code |
Necula, George C. |
1999 |
20 | C |
p. 117-131 15 p. |
article |
|
| 12 | From Partial Orders with Projections to Domains |
Kummetz, Ralph |
1999 |
20 | C |
p. 334-345 12 p. |
article |
|
| 13 | Local DCPOs, Local CPOs and Local Completions |
Mislove, Michael W. |
1999 |
20 | C |
p. 399-412 14 p. |
article |
|
| 14 | Modularity and Dyads |
Power, John |
1999 |
20 | C |
p. 467-480 14 p. |
article |
|
| 15 | On the Compact-regular Coreflection of a Stably Compact Locale |
Escardó, Martín Hötzel |
1999 |
20 | C |
p. 213-228 16 p. |
article |
|
| 16 | Preface |
Brookes, Stephen |
1999 |
20 | C |
p. 512-513 2 p. |
article |
|
| 17 | Reasoning about recursive processes: |
Brookes, Stephen |
1999 |
20 | C |
p. 182-201 20 p. |
article |
|
| 18 | Recursion and Corecursion Have the Same Equational Logic |
Moss, Lawrence S. |
1999 |
20 | C |
p. 413-432 20 p. |
article |
|
| 19 | Relating Natural Deduction and Sequent Calculus for Intuitionistic Non-Commutative Linear Logic |
Polakow, Jeff |
1999 |
20 | C |
p. 449-466 18 p. |
article |
|
| 20 | Secrecy in Programming-Language Semantics |
Abadi, Martín |
1999 |
20 | C |
p. 80-94 15 p. |
article |
|
| 21 | Semantic Domains, Injective Spaces and Monads |
Escardó, Martín H. |
1999 |
20 | C |
p. 229-244 16 p. |
article |
|
| 22 | Semantics-Driven Language Design: |
Bruce, Kim B. |
1999 |
20 | C |
p. 50-75 26 p. |
article |
|
| 23 | Strong Fairness and Recursive Communicating Processes |
Older, Susan |
1999 |
20 | C |
p. 433-448 16 p. |
article |
|
| 24 | The Largest Topological Subcategory of Countably-based Equilogical Spaces |
Menni, Matías |
1999 |
20 | C |
p. 375-398 24 p. |
article |
|
| 25 | The MFPS XV Security Session |
Meadows, Catherine |
1999 |
20 | C |
p. 76-79 4 p. |
article |
|
| 26 | Towards a Strand Semantics for Authentication Logic |
Syverson, Paul |
1999 |
20 | C |
p. 143-157 15 p. |
article |
|
| 27 | Type-checking Balloon Types |
Almeida, Paulo Sérgio |
1999 |
20 | C |
p. 1-27 27 p. |
article |
|
| 28 | Using Abstract Interpretation for the Safe Verification of Security Protocols |
Bolignano, Dominique |
1999 |
20 | C |
p. 95-116 22 p. |
article |
28 results found