We pair session types and contracts using two encodings. The encoding of session types accommodates width and depth subtyping, two properties that partially hold in contracts. The encoding of contracts accommodates complex synchronization patterns, since session types own a simple control protocol. The encodings allow one to use the two formalisms interchangeably, within the context of dyadic i...

A rational matrix is totally dyadic if all of its nonzero subdeterminants are in {±2 : k ∈ Z}. An oriented matriod is dyadic if it has a totally dyadic representation A. A dyadic oriented matriod is dyadic of order k if it has a totally dyadic representation A with full row rank and with the property that for each pair of adjacent bases A1 and A2 2 ≤ ∣∣∣∣det(A1) det(A2) ∣∣∣∣ ≤ 2. In this note w...

Abstract The objective of this case-based study is to understand how the dyadic interaction between key governance actors can influence decision-making aimed at directing and controlling a family firm. provides evidence that back stage formal process offer privileged position for firm owners who serve on board, non-family member Chair Board, before, after board meetings. cases studied suggest i...

Cooperatively breeding, group-living common marmosets show differentiated relationships, where more strongly bonded dyads within a group engage more in affiliative interactions than less strongly bonded ones. Intriguingly, recent results suggest that strong bonds do not only occur between breeding partners but between individuals from any sex or status, and that strong-bond partners exhibit cor...

The paper introduces dyadic brain modelling, offering both a framework for modelling the brains of interacting agents and a general framework for simulating and visualizing the interactions generated when the brains (and the two bodies) are each coded up in computational detail. It models selected neural mechanisms in ape brains supportive of social interactions, including putative mirror neuro...

Interactions between the EU and IGOs ˗ such as joint statements, verbal public disagreements, formal cooperation agreements, IGO dispute resolution involving have increased in past decades. We address question What determines EU’s interactions with IGOs? by carrying out a big data-based sentiment analysis of all news published online 1999 2017. Using over 30,000 events machine-coded Global Data...

Animals eavesdrop on dyadic interactions between other individuals to gather information for future mate choice and territory defense decisions. The capacity for eavesdroppers to combine information gathered from overhearing multiple two-way interactions is poorly studied. We tested whether inexperienced (second year) and older (after second year) male black-capped chickadees (Poecile atricapil...