3 ms·
Maybe the CS people don't know set notation for the same reason that Lamport dismisses Homotopy Type Theory and Galois Connections at the 2:00 minute mark.
by theobold 10y ago
Maybe the CS people don't know set notation for the same reason that Lamport dismisses Homotopy Type Theory and Galois Connections at the 2:00 minute mark.