history of type theory (Q5871008)
aspect of history
Language:
other details
aliases type theory history
description aspect of history

External Links
(P646) /m/0r3vxxt