Pierre Boudes

Recherche
Enseignement
Administration
Autres réalisations (logiciels, etc.)
Café
Divers

Accueil > Recherche > Papiers > Autres papiers (rapports, preprints, etc.)

Autres papiers (rapports, preprints, etc.)

Desequentialization of games and experiments in proof-nets
7 avril 2005
preprint IML 2005-1
Unifying static and dynamic denotational semantics
7 avril 2005
preprint IML 2004-8

Recherche

Papiers
- Autres papiers (rapports, preprints, etc.)
Transparents
Projets

Rechercher :

2002 - 2024 Pierre Boudes
Plan du site | Se connecter | Contact | RSS 2.0