All public logs

Combined display of all available logs of PKC. You can narrow down the view by selecting a log type, the username (case-sensitive), or the affected page (also case-sensitive).

• 13:19, 16 September 2022 Benkoo talk contribs created page Book/CATEGORIES TYPES AND STRUCTURES (Created page with "{{cite book |title=CATEGORIES TYPES AND STRUCTURES:An Introduction to Category Theory for the working computer scientist |first1=Andrea |last1=Asperti |author-link1=Andrea Asperti |first2=Giuseppe |last2=Longo |author-link2=Giuseppe Longo |url=http://www.cs.unibo.it/~asperti/PAPERS/book.pdf |date=August 23, 1991 |publisher=MIT Press |location=local page |isbn=978-0262011259 }} <noinclude> {{#widget:PDF |url=http://www.cs.unibo.it...")