( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Programs with Continuations and Linear Logic.

. TACS, том 526 из Lecture Notes in Computer Science, стр. 513-531. Springer, (1991)

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.

Dong-Shin Shin

Ya Zhang

Jeonghun Shin

Kirche als Weltforum: zum Dialogverständnis in kirchlichen Dokumenten seit dem Zweiten Vatikanischen Konzil. Uni München, (2009)

Ya Yang

Ya-Lin Huang

 

Другие публикации лиц с тем же именем

Untyped lambda calculus with functionally referable environments., и . ICSCA, стр. 100-104. ACM, (2021)Knowledge-Based Simulation of Regulatory Action in lambda phage., , , , и . Int. J. Artif. Intell. Tools, 4 (4): 511-524 (1995)Simplification of Abstract Machine for Functional Language and Its Theoretical Investigation., , и . J. Softw., 10 (10): 1148-1159 (2015)AnZenMail: A Secure and Certified E-mail System., , , , , и . ISSS, том 2609 из Lecture Notes in Computer Science, стр. 201-216. Springer, (2002)Formalization of Broadcast Communication in Process Calculus and Its Model Checking., , и . ICSOFT (1), стр. 348-352. INSTICC Press, (2009)Formalization of Planar Graphs., , , и . TPHOLs, том 971 из Lecture Notes in Computer Science, стр. 369-384. Springer, (1995)A Cost Estimation Calculus for Analyzing the Resistance to Denial-of-Service Attack., , и . ISSS, том 3233 из Lecture Notes in Computer Science, стр. 25-44. Springer, (2003)Programs with Continuations and Linear Logic.. TACS, том 526 из Lecture Notes in Computer Science, стр. 513-531. Springer, (1991)Let-Binding with Regular Expressions in Lambda Calculus., и . J. Softw., 11 (2): 220-229 (2016)Formalizing dynamic-wind in the lambda calculus., и . ICSCA, стр. 90-96. ACM, (2022)