Biological motion perception in autism spectrum disorder: a meta-analysis.

Background: Biological motion, namely the movement of others, conveys information that allows the identification of affective states and intentions. This makes it an important avenue of research in autism spectrum disorder where social functioning is one of the main areas of difficulty. We aimed to create a quantitative summary of previous findings and investigate potential factors, which could explain the variable results found in the literature investigating biological motion perception in autism.

Characteristic bisimulation for higher-order session processes.

For higher-order (process) languages, characterising contextual equivalence is a long-standing issue. In the setting of a higher-order -calculus with , we develop , a typed bisimilarity which fully characterises contextual equivalence. To our knowledge, ours is the first characterisation of its kind.