3,967 followers
@leastfixedpoint I continue to be unable to find the dissertation, but this is the best history of types I know otherwise: https://t.co/zfJSh19995
@leastfixedpoint I continue to be unable to find the dissertation, but this is the best history of types I know otherwise: https://t.co/zfJSh19995