julm utilise framapiaf.org. Vous pouvez læ suivre et interagir si vous possédez un compte quelque part dans le "fediverse". Si ce n’est pas le cas, vous pouvez en créer un ici.
julm @julm

: « we have a between and (Curry-Howard), and (Lambek-Scott), and and (Tarski-Stone). So maybe, instead of Curry-Howard-Lambek, we should speak of Curry-Howard-Lambek-Scott-Tarski-Stone! »
comonad.com/reader/2018/comput

· Web · 1 · 1
framapiaf.org propulsé par Mastodon