Identity and Substitutivity(1971) [pdf]

(ncatlab.org)

2 points | by nill0 5 hours ago ago

No comments yet.