3 ms·
Type theory specialists outside of CS usually fit under the banner of "Logician". Thats why they go under your radar :)
by ufo 12y ago
Type theory specialists outside of CS usually fit under the banner of "Logician". Thats why they go under your radar :)