17 citations
- Centre National de la Recherche ScientifiqueFR2 papers
- Hospital de Clínicas da UnicampBR2 papers
- Astronomy and SpaceAU1 paper
- Centre de Recherche en Astronomie Astrophysique et GéophysiqueDZ1 paper
- Centre National d'Études SpatialesFR1 paper
- École PolytechniqueFR1 paper
- Fund for Scientific ResearchBE1 paper
- IFP Énergies nouvellesFR1 paper
- IfremerFR1 paper
- Institut d'Astrophysique de ParisFR1 paper
- Institut de physique du globe de ParisFR1 paper
- Isothermal Community CollegeUS1 paper
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 8 cited
A Formal Model for Polarization under Confirmation Bias in Social Networks
Mário S. Alvim, Bernardo Amorim, Sophia Knight +2
We describe a model for polarization in multi-agent systems based on Esteban and Ray's standard family of polarization measures from economics. Agents evolve by updating their beli…
cs.LO2021
A Subexponential View of Domains in Session Types
Daniele Nantes, Carlos Olarte, Daniel Ventura
Linear logic (LL) has inspired the design of many computational systems, offering reasoning techniques built on top of its meta-theory. Since its inception, several connections bet…