( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Duality in Action (Invited Talk).

, и . FSCD, том 195 из LIPIcs, стр. 1:1-1:32. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)

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.

Eva Zena

Khuzama Zena

O Zenaiev

Leying Mabunga Zéna

Asdesach Zena Markos

 

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

Equational Term Graph Rewriting., и . Fundam. Informaticae, 26 (3/4): 207-240 (1996)Verification by Way of Refinement: A Case Study in the Use of Coq and TLA in the Design of a Safety Critical System., , и . FMICS-AVoCS, том 9933 из Lecture Notes in Computer Science, стр. 205-213. Springer, (2016)A Systematic Approach to Delimited Control with Multiple Prompts., и . ESOP, том 7211 из Lecture Notes in Computer Science, стр. 234-253. Springer, (2012)Classical (Co)Recursion: Mechanics., и . CoRR, (2021)Lambda Calculus with Explicit Recursion., и . Inf. Comput., 139 (2): 154-233 (1997)Correctness of Monadic State: An Imperative Call-by-Need Calculus., и . HOOTS, том 10 из Electronic Notes in Theoretical Computer Science, стр. 53. Elsevier, (1997)Cyclic Lambda Graph Rewriting, и . LICS, стр. 416-425. IEEE Computer Society, (1994)A Computational Understanding of Classical (Co)Recursion., и . PPDP, стр. 5:1-5:13. ACM, (2020)Correctness of Monadic State: An Imperative Call-by-Need Calculus., и . POPL, стр. 62-74. ACM, (1998)P-TAC: A Parallel Intermediate Language., и . FPCA, стр. 230-242. ACM, (1989)