From post

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

Strong Normalizations of Substitutions.

P. Curien, T. Hardin, и A. Ríos. J. Log. Comput., 6 (6): 799-817 (1996)

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.

Operads, clones, and distributive lawsP. Curien. CoRR, (2012)On Confluence for Weakly Normalizing Systems.P. Curien, и G. Ghelli. RTA, том 488 из Lecture Notes in Computer Science, стр. 215-225. Springer, (1991)Coherence of Subsumption.P. Curien, и G. Ghelli. CAAP, том 431 из Lecture Notes in Computer Science, стр. 132-146. Springer, (1990)Typed Categorial Combinatory Logic.P. Curien. TAPSOFT, Vol.1, том 185 из Lecture Notes in Computer Science, стр. 157-172. Springer, (1985)On the Symmetry of Sequentiality.P. Curien. MFPS, том 802 из Lecture Notes in Computer Science, стр. 29-71. Springer, (1993)A Sequent Calculus for Opetopes.C. Thanh, P. Curien, и S. Mimram. LICS, стр. 1-12. IEEE, (2019)Preface.G. Ausiello, L. Kari, G. Rozenberg, D. Sannella, P. Spirakis, и P. Curien. Theor. Comput. Sci., (2020)The Categorical Abstract Machine.G. Cousineau, P. Curien, и M. Mauny. Sci. Comput. Program., 8 (2): 173-202 (1987)Fully Abstract Semantics for Observably Sequential LanguagesR. Cartwright, P. Curien, и M. Felleisen. Inf. Comput., 111 (2): 297-401 (июня 1994)A semantics for lambda calculi with resources.G. Boudol, P. Curien, и C. Lavatelli. Math. Struct. Comput. Sci., 9 (4): 437-482 (1999)