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.
@pegobry "Proof by powerpointing." Ils étaient en avance ! https://t.co/EE6UUb0y3E
@whitequark Hmm Googling it only yields one meaningful result: a book on computing theory where "JAJ" apparently is the plaintext encoding for A in weird double triangle brackets that have something to do with object classes https://t.co/tuQvetzztN https:/