3 ms·

There’s probably a PhD or two waiting to be earned exploring the relation between Dijkstra/Scholten boolean structures and vector spaces.

• gatane 3y ago
  That or Lagrangian mechanics and Dijkstra