Viviana Bono

Available identifiers

zbMath Open bono.vivianaWikidataQ102300920 ScholiaQ102300920MaRDI QIDQ553897

List of research outcomes

Publication	Date of Publication	Type
Partially typed multiparty sessions with internal delegation	2024-11-26	Paper
Soundness Conditions for Big-Step Semantics	2022-10-13	Paper
A tale of intersection types	2021-01-21	Paper
https://portal.mardi4nfdi.de/entity/Q4585064	2018-09-06	Paper
Data-driven adaptation for smart sessions	2017-07-04	Paper
Typed interpretations of extensible objects	2017-06-13	Paper
A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA.	2013-04-19	Paper
Typing copyless message passing	2012-04-03	Paper
Delegation by object composition	2011-07-28	Paper
https://portal.mardi4nfdi.de/entity/Q3001365	2011-05-31	Paper
Typing Copyless Message Passing	2011-05-19	Paper
Big-step Operational Semantics Revisited	2011-05-18	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
Global Computing. Programming Environments, Languages, Security, and Analysis of Systems	2010-02-05	Paper
A typed lambda calculus with intersection types	2008-06-24	Paper
FJMIP: A Calculus for a Modular Object Initialization	2008-02-26	Paper
Theoretical Computer Science	2006-11-01	Paper
Coordination Models and Languages	2006-01-10	Paper
Types for Proofs and Programs	2005-12-23	Paper
Types for Proofs and Programs	2005-12-23	Paper
MOMI: a calculus for mobile mixins	2005-12-14	Paper
https://portal.mardi4nfdi.de/entity/Q3024899	2005-07-04	Paper
https://portal.mardi4nfdi.de/entity/Q4673425	2005-04-29	Paper
https://portal.mardi4nfdi.de/entity/Q4738173	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4474827	2004-07-21	Paper
https://portal.mardi4nfdi.de/entity/Q4458488	2004-03-18	Paper
https://portal.mardi4nfdi.de/entity/Q3146272	2002-01-01	Paper
https://portal.mardi4nfdi.de/entity/Q4934322	2000-01-17	Paper
https://portal.mardi4nfdi.de/entity/Q4261073	1999-09-20	Paper
Matching for the lambda calculus of objects	1999-01-12	Paper
https://portal.mardi4nfdi.de/entity/Q4375807	1998-10-01	Paper

Research outcomes over time

This page was built for person: Viviana Bono