|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
27 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract Valuations: A Novel Representation of Plotkin Power Domain and Vietoris Hyperspace |
Heckmann, Reinhold |
1997 |
6 | C |
p. 160-173 14 p. |
artikel |
|
| 2 | A categorical account of two-level languages |
Moggi, Eugenio |
1997 |
6 | C |
p. 272- 1 p. |
artikel |
|
| 3 | A Framework for Fair Communicating Processes |
Older, Susan |
1997 |
6 | C |
p. 273-292 20 p. |
artikel |
|
| 4 | A New Representation for Exact Real Numbers |
Edalat, Abbas |
1997 |
6 | C |
p. 119-132 14 p. |
artikel |
|
| 5 | A Notion of Classical Pure Type System (Preliminary version) |
Barthe, Gilles |
1997 |
6 | C |
p. 4-59 56 p. |
artikel |
|
| 6 | A Powerdomain of Possibility Measures |
Huth, Michael |
1997 |
6 | C |
p. 191-202 12 p. |
artikel |
|
| 7 | Coherence Completions of Categories and Their Enriched Softness |
Hu, Hongde |
1997 |
6 | C |
p. 174-190 17 p. |
artikel |
|
| 8 | Computational Models for Ultrametric Spaces |
Flagg, Bob |
1997 |
6 | C |
p. 151-159 9 p. |
artikel |
|
| 9 | Constructive Design of a Hierarchy of Semantics of a Transition System by Abstract Interpretation (Extended Abstract) |
Cousot, Patrick |
1997 |
6 | C |
p. 77-102 26 p. |
artikel |
|
| 10 | Continuation Semantics and Self-adjointness |
Thielecke, Hayo |
1997 |
6 | C |
p. 348-364 17 p. |
artikel |
|
| 11 | Correctness of a Region-Based Binding-Time Analysis |
Thiemann, Peter J. |
1997 |
6 | C |
p. 365-390 26 p. |
artikel |
|
| 12 | Dedication |
The Organizers, |
1997 |
6 | C |
p. 3- 1 p. |
artikel |
|
| 13 | Failures, Finiteness and Full Abstraction |
van Breugel, Franck |
1997 |
6 | C |
p. 391-408 18 p. |
artikel |
|
| 14 | Idealized CSP: Combining Procedures With Communicating Processes |
Brookes, Stephen |
1997 |
6 | C |
p. 60-76 17 p. |
artikel |
|
| 15 | Infinite Computations in Concurrent Constraint Programming |
de Boer, Frank S. |
1997 |
6 | C |
p. 103-118 16 p. |
artikel |
|
| 16 | Modularity in Denotational Semantics |
Power, John |
1997 |
6 | C |
p. 293-307 15 p. |
artikel |
|
| 17 | Multi Lingual Sequent Calculus and Coherent Spaces |
Jung, Achim |
1997 |
6 | C |
p. 203-220 18 p. |
artikel |
|
| 18 | Phase Semantics for Light Linear Logic (Extended Abstract) |
Kanovich, Max I. |
1997 |
6 | C |
p. 221-234 14 p. |
artikel |
|
| 19 | Preface |
Brookes, Steve |
1997 |
6 | C |
p. 1-2 2 p. |
artikel |
|
| 20 | Resolution in the Smyth powerdomain |
Zhang, Guo-Qiang |
1997 |
6 | C |
p. 409- 1 p. |
artikel |
|
| 21 | Sketches Dedicated to Michael Barr on the occasion of his 60th birthday |
Kinoshita, Yoshiki |
1997 |
6 | C |
p. 235-248 14 p. |
artikel |
|
| 22 | Studying Repleteness in the Category of Cpos |
Makkai, Michael |
1997 |
6 | C |
p. 249-254 6 p. |
artikel |
|
| 23 | Tensor Products and Powerspaces in Quantitative Domain Theory |
Sünderhauf, Philipp |
1997 |
6 | C |
p. 327-347 21 p. |
artikel |
|
| 24 | The Category of Cpos From a Synthetic Viewpoint |
Fiore, Marcelo |
1997 |
6 | C |
p. 133-150 18 p. |
artikel |
|
| 25 | Topology and tolerance |
Smyth, Michael B. |
1997 |
6 | C |
p. 326- 1 p. |
artikel |
|
| 26 | Towards Full Completeness of the Linear Logic of Chu Spaces |
Pratt, Vaughan R. |
1997 |
6 | C |
p. 308-325 18 p. |
artikel |
|
| 27 | Using Duality to Solve Domain Equations |
Mislove, Michael W. |
1997 |
6 | C |
p. 255-271 17 p. |
artikel |
27 gevonden resultaten