TY  - RPRT
TI  - Abstraction, Composition and Contracts: A Sheaf Theoretic Approach
AU  - Alberto Speranzon
AU  - David I. Spivak
AU  - Srivatsan Varadarajan
PY  - 2018
UR  - https://arxiv.org/abs/1802.03080
ID  - 1802.03080
ER  -