Retour
  1. Accueil
  2. Demande de tiré à part
institution logo
Si vous êtes membre du personnel de l'institution, il vous suffit de vous identifier sur l'Intranet pour accéder directement au texte intégral. Il n'est donc pas nécessaire d'effectuer une demande de tiré à part.

Demande de tiré à part

Simplified Reducibility Proofs of Church-Rosser for beta- and beta-eta-reduction
Kamareddine, Fairouz; RAHLI, Vincent
2009 • In Electronic Notes in Theoretical Computer Science, 247, p. 85--101

Document(s) souhaité(s)
long-new-red-short.pdf

Le document souhaité n'est actuellement pas accessible en libre accès. Cependant, vous pouvez adresser une demande de tiré à part au moyen du formulaire ci-dessous. Si votre demande est acceptée, vous recevrez par e-mail un lien vous permettant d'accéder au document durant 5 jours, 5 essais de téléchargement maximum.


Formulaire de demande

Les champs marqués d'un ✱ sont obligatoires.

Retourner à la référence
Contacter ORBilu