4 ms·
This is certainly more true. That explosion of logics I mentioned was a big movement of many authors to expand our understanding of types (among other things).
by tel 5y ago
This is certainly more true. That explosion of logics I mentioned was a big movement of many authors to expand our understanding of types (among other things).