2 citations · 5 across the 8 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.CR2019★ 2 cited
Capivara: A decentralized package version control using Blockchain
Felipe Zimmerle da N. Costa, Ruy J. Guerra B. de Queiroz
Distributed consensus and Blockchains are popular among the cryptocurrencies where no one except the coins users, owns the data and transactions. No different to open source reposi…
cs.LO2019
The -groupoid generated by an arbitrary topological -model
Daniel O. Martínez-Rivillas, Ruy J. G. B. de Queiroz
The lambda calculus is a universal programming language. It can represent the computable functions, and such offers a formal counterpart to the point of view of functions as rules.…