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