HAL : hal-00627490, version 1

DOI : 10.1109/LICS.2011.29

Fiche détaillée

Récupérer au format BibTeX - EndNote - TEI - RefWorks -

Logic in Computer Science (LICS), Toronto, ON : Canada (2011)

The computational meaning of probabilistic coherent spaces

Thomas Ehrhard 1, Michele Pagani 1, Christine Tasson 1

(21/06/2011)

We study the probabilistic coherent spaces - a denotational semantics interpreting programs by power series with non negative real coefficients. We prove that this semantics is adequate for a probabilistic extension of the untyped λ-calculus: the probability that a term reduces to ahead normal form is equal to its denotation computed on a suitable set of values. The result gives, in a probabilistic setting, a quantitative refinement to the adequacy of Scott's model for untyped λ-calculus.

1 :	Preuves, Programmes et Systèmes (PPS)
	CNRS : UMR7126 – Université Paris VII - Paris Diderot

Domaine

:

Informatique/Logique en informatique

Mots Clés : Coherence – Computational modeling – Equations – Indexes – Mathematical model – Probabilistic logic – Semantics

hal-00627490, version 1

http://hal.archives-ouvertes.fr/hal-00627490

oai:hal.archives-ouvertes.fr:hal-00627490

Contributeur : Christine Tasson <>

Soumis le : Mercredi 28 Septembre 2011, 17:23:44

Dernière modification le : Vendredi 30 Septembre 2011, 11:55:58