Aller directement à la barre de recherche

Le moteur de recherche
des thèses françaises

Désactiver l'aide à la saisie

Andrzej Murawski

Mots clés

FR |

EN

Sémantique des jeux de Hyland et Ong

Réalisabilité

Axiome du choix

Lambda-mu calcul

Logique classique

Arithmétique de Peano

Langages de programmation

Equivalences comportementales

Calculs de processus