 |
PREUVES, PROGRAMMES et SYSTÈMES |  |
|
PREUVES, PROGRAMMES et SYSTÈMES | |
| HAL: hal-00527028, version 1 |
| Detailed view |  Export this paper |
 |
| Information and Computation 110, 2 (1994) 265-296 |
|
|
|
|
| Sequentiality in an Extensional Framework |
|
|
| Thomas Ehrhard 1Antonio Bucciarelli 1 |
|
|
| (1994) |
|
|
|
|
|
|
|
|
|
|
|
| 1: | Preuves, Programmes et Systèmes (PPS) |
|
|
|
CNRS : UMR7126 – Université Paris VII - Paris Diderot |
|
|
|
|
|
|
|
|
|
| Subject | : | Computer Science/Logic in Computer Science |
|
|
| denotational semantics – continuity – stability – sequentiality |
|
| hal-00527028, version 1 | |
| http://hal.archives-ouvertes.fr/hal-00527028 | |
| oai:hal.archives-ouvertes.fr:hal-00527028 | |
| From: Thomas Ehrhard | |
| Submitted on: Sunday, 17 October 2010 22:52:40 | |
| Updated on: Sunday, 17 October 2010 22:52:40 | |
