( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.

, и . MFPS, том 308 из Electronic Notes in Theoretical Computer Science, стр. 49-64. Elsevier, (2014)

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.

Sergueï Lenglet

Romain Lenglet

Christophe Lenglet

Serguei Botcharov

Serguei Dyblenko

 

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

Proving Soundness of Extensional Normal-Form Bisimilarities., , и . Log. Methods Comput. Sci., (2019)Non-Deterministic Abstract Machines., , , и . CONCUR, том 243 из LIPIcs, стр. 7:1-7:24. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2022)A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers., , и . FSCD, том 167 из LIPIcs, стр. 7:1-7:22. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)HOπ in Coq., , и . J. Autom. Reason., 65 (1): 75-124 (2021)Certified abstract machines for skeletal semantics., , и . CPP, стр. 55-67. ACM, (2022)Diacritical Companions., , и . MFPS, том 347 из Electronic Notes in Theoretical Computer Science, стр. 25-43. Elsevier, (2019)HOπ in Coq., и . CPP, стр. 252-265. ACM, (2018)Bisimulations for Delimited-Control Operators., , и . Log. Methods Comput. Sci., (2019)A Complete Normal-Form Bisimilarity for State., , и . FoSSaCS, том 11425 из Lecture Notes in Computer Science, стр. 98-114. Springer, (2019)Normal Bisimulations in Calculi with Passivation., , и . FoSSaCS, том 5504 из Lecture Notes in Computer Science, стр. 257-271. Springer, (2009)