Désactiver l'autocomplétion

Recherche avancée

Uniquement les thèses soutenues Uniquement les thèses soutenues accessibles en ligne

SIGNALER une erreur

personne précédente

personne suivante

Domenico Ruoppolo

est l'auteur d'une thèse

Equivalence observationnelle Graphes, Théorie des Lambda-calcul Modèle λ-König Modèles relationnels probabilistes Semantique relationnelle Théorie des types Théoris Morris Λ-calcul non-typé de Church

Fullscreen

Equivalence observationnelle Graphes, Théorie des Lambda-calcul Modèle λ-König Modèles relationnels probabilistes Semantique relationnelle Théorie des types Théoris Morris Λ-calcul non-typé de Church

Domenico Ruoppolo a rédigé la thèse suivante :

Relational graph models and Morris's observability : resource-sensitive semantic investigations on the untyped λ-calculus

par Domenico Ruoppolo sous la direction de Stefano Guerrini - Sorbonne Paris Cité

Informatique

Soutenue le 13-12-2016

Thèse soutenue

Accéder en ligne