( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Isomorphism of "Functional" Intersection Types.

, , , и . TYPES, том 26 из LIPIcs, стр. 129-149. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)

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.

Maddalena Bayer

Harry Maddalena

Maddalena Brunetti

Andrea Maddalena

Maddalena Lipardi

 

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

Application of Church-Rosser Properties to Increase the Parallelism and Efficiency of Algorithms., и . ICALP, том 14 из Lecture Notes in Computer Science, стр. 170-184. Springer, (1974)Principal Typing in a forall-and-Discipline., и . J. Log. Comput., 5 (3): 367-381 (1995)Isomorphism of "Functional" Intersection Types., , , и . TYPES, том 26 из LIPIcs, стр. 129-149. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2013)Type inference and logical relations, и . LICS, стр. 218-226. IEEE Computer Society, (1986)Partial and Complete Processes in Multiparty Sessions., , , и . ICTCS, том 322 из Electronic Notes in Theoretical Computer Science, стр. 135-151. Elsevier, (2015)