J'apprécie beaucoup la dualité. Mais j'ai tout de même cette impression de louper quelque chose 🤔 https://mastodon.social/media/ope5cEZYPOQURafXv-U
Source : The Essence of Higher-Order Concurrent
Separation Logic.