Reports (Research Report) Year : 1983

Full abstraction for sequential languages : The states of the art

Abstract

Disponible dans les fichiers attachés à ce document

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
RR-0197.pdf (2.16 Mo) Télécharger le fichier

Dates and versions

inria-00076361 , version 1 (24-05-2006)

Identifiers

  • HAL Id : inria-00076361 , version 1

Cite

Gérard Berry, Pierre-Louis Curien, Jean-Jacques Levy. Full abstraction for sequential languages : The states of the art. [Research Report] RR-0197, INRIA. 1983. ⟨inria-00076361⟩
269 View
225 Download

Share

More