3 ms·
I think TTT stands for "tangled type theory".
by alreadydone 3y ago
I think TTT stands for "tangled type theory".
- randallholmes 3y agoIt does, but I rather like "twisted type theory" :-)
- nicklecompte 3y agoOops! Good catch. I'm not an expert - I read "tangled type theory" once and "TTT" about 75 times....