( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Logical Semantics for Stability.

, , и . MFPS, том 249 из Electronic Notes in Theoretical Computer Science, стр. 429-449. Elsevier, (2009)

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.

Ronchi

Elena Rocca

Sergio Dellavalle

Fabrizio Roccaforte

Elena Rocca

 

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

Elementary Affine Logic and the Call-by-Value Lambda Calculus., , и . TLCA, том 3461 из Lecture Notes in Computer Science, стр. 131-145. Springer, (2005)Principal Typing in Elementary Affine Logic., и . TLCA, том 2701 из Lecture Notes in Computer Science, стр. 90-104. Springer, (2003)Observability = Typability + Inhabitation., , и . CoRR, (2018)Call-by-Value, Elementary Time and Intersection Types., и . FOPARA, том 9964 из Lecture Notes in Computer Science, стр. 40-59. (2015)The lazy call-by-value Lamda-Calculus., , и . MFCS, том 520 из Lecture Notes in Computer Science, стр. 161-169. Springer, (1991)Strong normalization from an unusual point of view., , и . Theor. Comput. Sci., 412 (20): 1903-1915 (2011)Structured Operational Semantics of a Fragment of the Language Scheme., , и . J. Funct. Program., 8 (4): 335-365 (1998)Parametric parameter passing Lambda-calculus., и . Inf. Comput., 189 (1): 87-106 (2004)Operational, denotational and logical descriptions: a case study., , и . Fundam. Informaticae, 16 (1): 149-169 (1992)Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus., , и . CoRR, (2016)