236 followers
@ProfMaxNew I'm a fan of: https://t.co/5zZPTlm3qn Rather than just adding parallel or to the language, the key primitive is a term whose denotation is the join of the denotations of its subterms.
@ProfMaxNew I'm a fan of: https://t.co/5zZPTlm3qn Rather than just adding parallel or to the language, the key primitive is a term whose denotation is the join of the denotations of its subterms.