add Theory and Applications of Categories

steshaw / plt

Programming Language Theory λΠ

https://steshaw.org/plt/

5.24k stars 340 forks source link

add Theory and Applications of Categories #35

Closed lemastero closed 5 years ago

lemastero commented 5 years ago

One of the reprints published in TAC is Toposes, Triples and Theories - Michael Barr and Charles Wells. Many more interesting papers are included in this journal.

steshaw commented 5 years ago

Thanks. I cherry picked your change after having a dance with Git/GitHub.