Srivatsan Varadarajan

Identifiers

• name variant Srivatsan Varadarajan 0.60 · backfill

Papers (1)

1. Abstraction, Composition and Contracts: A Sheaf Theoretic Approach cs.LO · 2018 · author #3

Mentions

• 1802.03080 #3 · arxiv_oai · confidence 0.70 Srivatsan Varadarajan

Frequent Coauthors

• Alberto Speranzon 1 shared papers
• David I. Spivak 1 shared papers