Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 227,737,995 papers from all fields of science
Search
Sign In
Create Free Account
Synereo
Synereo’s 2.0 tech stack is a blockchain-based decentralized platform, developed by Synereo LTD. Synereo LTD is also developing a social network DApp…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
12 relations
Concurrent computing
Content delivery network
Cryptocurrency
Distributed networking
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Logic as a distributive law
M. Stay
,
L. G. Meredith
arXiv.org
2016
Corpus ID: 14266478
We present an algorithm for deriving a spatial-behavioral type system from a formal presentation of a computational calculus…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE