russ at pps point jussieu point fr

CNRS et PPS, Paris 7

Russ Harmer,
PPS,
Université Denis Diderot,
Case 7014,
2 Place Jussieu,
75251 PARIS Cedex 05

articles
bibtex

A fully abstract game semantics for finite nondeterminism.
Russ Harmer and Guy McCusker. LICS'99.
PhD: tesi (vo, 31 decembre 1999)

Probabilistic game semantics (extended abstract).
Vincent Danos and Russ Harmer. LICS'00.

The anatomy of innocence.
Vincent Danos and Russ Harmer. CSL'01.

Probabilistic game semantics.
Vincent Danos and Russ Harmer.
ACM Transactions on Computational Logic, juillet 2002.

Affine strategies in arena games (long version).
Russ Harmer. GaLoP 2005.


notes
Innocent game semantics (en cours, mise à jour le 28.11.2005)


événements
GAmes for LOgic and Programming languages: GaLoP 2005

Groupes de Travail: Sémantique, autres


liens
the haskell research bibliography and encyclopedia


the R5RS definition of scheme plus extensive research bibliography


the metaobject protocol of CLOS (common lisp object system)


le bâtiment 8 virtuel, sml/nj and cml


the ALGOL 60 bulletin (1--7), the revised and modified (1976) reports



21.10.2005