Identity and Substitutivity(1971) [pdf]

(ncatlab.org) by nill0 | Aug 5, 2026 | 0 comments on HN