3 ms·
They don't mention dependent types at all which is unfortunate. IMO, it's the most promising subfield of logic now.
by solomatov 9y ago
They don't mention dependent types at all which is unfortunate. IMO, it's the most promising subfield of logic now.