4 ms·

what about categorial semantics? hahaha!!!

• derriz 12y ago
  Walk away now. Type Theory derailed my PhD studies. Seduced by constructivism, Curry-Howard, Martin-Löf and especially Girard's Proofs and Types, I wasted two years and subsequently abandoned my postgraduate studies. It's comp. sci. flavoured esoteric nonsense.
  • molikto 12y ago
    is there anything in the world that is non-nonsense? so it is better to study pure-nonsense, just because it is pure
    • TheGrassyKnoll 12y ago
      I think they call it: 'death'