From post

копировать удалить добавить публикацию в буфер
Запись сообщества
посмотреть историю данной записи
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

Interprétation functionelle et élimination des coupures dans l'arithmétique d'ordre supérieure

J. Girard. Université Paris VII, (1972)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Vers la perfectionJ. Girard. Hermann, (01.07.2006)Functors and Ordinal Notations. I: A Functorial Construction of the Veblen Hierarchy.J. Girard, и J. Vauzeilles. J. Symb. Log., 49 (3): 713-729 (1984)Geometry of Interaction (Abstract).J. Girard. CONCUR, том 836 из Lecture Notes in Computer Science, стр. 1. Springer, (1994)Transcendental syntax I: deterministic case.J. Girard. Math. Struct. Comput. Sci., 27 (5): 827-849 (2017)Set recursion and Πhalf-logic.J. Girard, и D. Normann. Ann. Pure Appl. Log., 28 (3): 255-286 (1985)Le fantôme de la transparenceJ. Girard. Éditions Allia, (2016)La mouche dans la bouteille.J. Girard. Logic Colloquium, стр. 9-12. Elsevier, (1985)Linear LogicJ. Girard. Theoretical Computer Science, 50 (1): 1--101 (января 1987)Proofs and TypesJ. Girard, P. Taylor, и Y. Lafont. Cambridge University Press, Cambridge, (апреля 1989)Linear Logic and Parallelism.J. Girard. Mathematical Models for the Semantics of Parallelism, том 280 из Lecture Notes in Computer Science, стр. 166-182. Springer, (1986)