Advances in Linear Logic || Sequent calculi for second...

  • Main
  • Advances in Linear Logic || Sequent...

Advances in Linear Logic || Sequent calculi for second order logic

Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
10.1017/CB
Année:
1995
Langue:
english
DOI:
10.1017/cbo9780511629150.011
Fichier:
PDF, 783 KB
english, 1995
La conversion en est effectuée
La conversion en a échoué