A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Information and Computation Année : 1999

A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries

Thomas Ehrhard
Preuves, Programmes et Systèmes

Domaines

Logique en informatique [cs.LO]

Thomas Ehrhard  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00527034

Soumis le : dimanche 17 octobre 2010-23:18:12

Dernière modification le : vendredi 24 mars 2023-14:52:53

Fichier non déposé

Dates et versions

hal-00527034 , version 1 (17-10-2010)

Identifiants

  • HAL Id : hal-00527034 , version 1

Citer

Thomas Ehrhard. A Relative PCF-Definability Result for Strongly Stable Functions and some Corollaries. Information and Computation, 1999, 152 (1), pp.111-137. ⟨hal-00527034⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-PARIS7 PPS CNRS
20 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More