( en | de | ru )

 

Disambiguation of "Bonelli, Eduardo"

Author of the publication

copydeleteadd this publication to your clipboard
BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions.

, , , , , , , and . CS2Bio, volume 293 of Electronic Notes in Theoretical Computer Science, page 35-49. Elsevier, (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. You can also use the button next to the name to display some publications already assigned to the person.

Antonio Bonelli

Raquel Regina Bonelli

Eduardo Ospina

Eduardo Klein

Eduardo Maurô

 

Other publications of authors with the same name

Perpetuality in a named lambda calculus with explicit substitutions.. Math. Struct. Comput. Sci., 11 (1): 47-90 (2001)An abstract normalisation result with applications to non-sequential calculi., , , and . CoRR, (2014)Type-based information flow analysis for bytecode languages with variable object field policies., and . SAC, page 347-351. ACM, (2008)The Logic of Proofs as a Foundation for Certifying Mobile Computation., and . LFCS, volume 5407 of Lecture Notes in Computer Science, page 76-91. Springer, (2009)Correspondence assertions for process synchronization in concurrent communications., , and . J. Funct. Program., 15 (2): 219-247 (2005)Intuitionistic Hypothetical Logic of Proofs., and . IMLA@UNILOG, volume 300 of Electronic Notes in Theoretical Computer Science, page 89-103. Elsevier, (2013)Boxed Ambients with Communication Interfaces., , , and . MFCS, volume 3153 of Lecture Notes in Computer Science, page 119-148. Springer, (2004)Typed path polymorphism., , , and . Theor. Comput. Sci., (2019)Type Soundness for Path Polymorphism., , and . LSFA, volume 323 of Electronic Notes in Theoretical Computer Science, page 235-251. Elsevier, (2015)A nonstandard standardization theorem., , , and . POPL, page 659-670. ACM, (2014)