|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
11 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | A Coinduction Principle for Recursive Data Types Based on Bisimulation |
Fiore, Marcelo P. |
1996 |
127 | 2 |
p. 186-198 13 p. |
article |
|
| 2 | Author Index for Volume 127 |
1996 |
127 | 2 |
p. 199- 1 p. |
article |
||
| 3 | Bisimulation from Open Maps |
Joyal, André |
1996 |
127 | 2 |
p. 164-185 22 p. |
article |
|
| 4 | Database Query Languages Embedded in the Typed Lambda Calculus |
Hillebrand, Gerd G. |
1996 |
127 | 2 |
p. 117-144 28 p. |
article |
|
| 5 | Dedication |
1996 |
127 | 2 |
p. 63- 1 p. |
article |
||
| 6 | Editor's Foreword |
Vardi, Moshe Y. |
1996 |
127 | 2 |
p. 64- 1 p. |
article |
|
| 7 | Full Abstraction for a Shared-Variable Parallel Language |
Brookes, Stephen |
1996 |
127 | 2 |
p. 145-163 19 p. |
article |
|
| 8 | In Memoriam: Paris C. Kanellakis (1953–1995) |
1996 |
127 | 2 |
p. 65- 1 p. |
article |
||
| 9 | Relational Properties of Domains |
Pitts, Andrew M. |
1996 |
127 | 2 |
p. 66-90 25 p. |
article |
|
| 10 | Standard ML–NJ Weak Polymorphism and Imperative Constructs |
Mitchell, John |
1996 |
127 | 2 |
p. 102-116 15 p. |
article |
|
| 11 | Verifying Programs with Unreliable Channels |
Abdulla, Parosh Aziz |
1996 |
127 | 2 |
p. 91-101 11 p. |
article |
11 results found