3 ms·

Thanks for a great reply. I would like to check out your references. However you mention more than one but I can only see [2]?

• practal 4y ago
  No worries, happy to talk about this stuff all day long! The links are in a higher up post, they are: [0] https://obua.com/publications/philosophy-of-abstraction-logic/2/ https://obua.com/publications/philosophy-of-abstraction-logi... [1] https://obua.com/publications/practical-types/1/ https://obua.com/publications/practical-types/1/
  • mbrodersen 4y ago
    Same with me. It is really interesting stuff!