Polynomial Functors: A Mathematical Theory of Interaction
Publisher: Self-published
Published: 2023