( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Session Type System with Subject Reduction.

, , и . IEICE Trans. Inf. Syst., 95-D (8): 2053-2064 (2012)

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.

Tanya Imai

Atsushi Imai

Toshiyasu Imai

Masaharu Imai

Atsushi Imai

 

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

Can We Understand Researcher Grant Needs without Direct Communication?, , и . IIAI-AAI, стр. 462-467. IEEE Computer Society, (2015)Session-ocaml: A Session-Based Library with Polarities and Lenses., , и . COORDINATION, том 10319 из Lecture Notes in Computer Science, стр. 99-118. Springer, (2017)Towards Bidirectional Synchronization Between Communicating Processes and Session Types., , , , и . BigComp, стр. 1-5. IEEE, (2019)Kmclib: Automated Inference and Verification of Session Types from OCaml Programs., , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 379-386. Springer, (2022)A Session Type System with Subject Reduction., , и . IEICE Trans. Inf. Syst., 95-D (8): 2053-2064 (2012)Session Types Without Sophistry - System Description., и . FLOPS, том 12073 из Lecture Notes in Computer Science, стр. 66-87. Springer, (2020)Fluent Session Programming in C#., и . PLACES@ETAPS, том 314 из EPTCS, стр. 61-75. (2020)Multiparty Session Programming With Global Protocol Combinators., , , и . ECOOP, том 166 из LIPIcs, стр. 9:1-9:30. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2020)