( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Swapping: a natural bridge between named and indexed explicit substitution calculi

, , и . HOR, том 49 из EPTCS, стр. 1-15. (2010)

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.

Juan Ríos Muñoz

Róger Humberto Ríos Duarte

Miguel Ríos-Ramírez

Róger Humberto Ríos Duarte

Gregorio Salvador Ríos

 

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

Relating the λσ- and λs-styles of explicit substitutions., и . J. Log. Comput., 10 (3): 349-380 (2000)Extending a lambda-Calculus with Explicit Substitution which Preserves Strong Normalisation Into a Confluent Calculus on Open Terms., и . J. Funct. Program., 7 (4): 395-420 (1997)Fitted avatars: automatic skeleton adjustment for self-avatars in virtual reality., , , , , и . Virtual Real., 27 (3): 2541-2560 (сентября 2023)Pure Pattern Calculus à la de Bruijn., , и . LSFA, том 351 из Electronic Notes in Theoretical Computer Science, стр. 95-113. Elsevier, (2020)A Lambda-Calculus with Constructors., , и . RTA, том 4098 из Lecture Notes in Computer Science, стр. 181-196. Springer, (2006)Follower behavior under stress in immersive VR., и . Virtual Real., 24 (4): 683-694 (2020)Users' locomotor behavior in collaborative virtual reality., , и . MIG, стр. 15:1-15:9. ACM, (2018)An abstract normalisation result with applications to non-sequential calculi., , , и . CoRR, (2014)Bridging de Bruijn Indices and Variable Names in Explicit Substitutions Calculi., и . Log. J. IGPL, 6 (6): 843-874 (1998)Strong Normalizations of Substitutions., , и . J. Log. Comput., 6 (6): 799-817 (1996)